I know from locally stored knowledge that:

Fact 1:
1,392,000,000 metres
is the diameter of
the Sun
([fact: ["234471838@trueknowledge.com"]])

By calculation (generator: ["perm5@trueknowledge.com"]) I know that:

Fact 1
is true for
all time

By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:

Fact 1
is true at
June 12th 2010

I know from locally stored knowledge that:

permanent
applies to
is the diameter of
([fact: ["123928239@trueknowledge.com"]])

Fact 2:
870,000 miles
is the diameter of
the Sun
([fact: ["3432316970@trueknowledge.com"]])

By calculation (generator: ["perm5@trueknowledge.com"]) I know that:

Fact 2
is true for
all time

By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:

Fact 2
is true at
June 12th 2010

I know from locally stored knowledge that:

695,500 kilometers
is the radius of
the Sun
([fact: ["1398228390@trueknowledge.com"]])

By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:

695,500
is the first parameter of
695,500 kilometers

By calculation (generator: ["product@trueknowledge.com"]) I know that:

1,391,000
is the product of
2 and 695,500

By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:

kilometer
is the second parameter of
695,500 kilometers

By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:

1,391,000 kilometers
is the parametered object corresponding to
length and 1,391,000 and kilometer

By calculation (generator: ["diameter@trueknowledge.com"]) I know that:

Fact 3:
1,391,000 kilometers
is the diameter of
the Sun

By calculation (generator: ["perm5@trueknowledge.com"]) I know that:

Fact 3
is true for
all time

By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:

Fact 3
is true at
June 12th 2010