By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 12:06:58
I know from locally stored knowledge that:
Fact 1:
6,371 kilometres
is the radius of
Earth
([fact: ["138436241@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 19th 2013, 12:06:58
I know from locally stored knowledge that:
permanent
applies to
is the radius of
([fact: ["123951356@trueknowledge.com"]])
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
kilometre
is the second parameter of
6,371 kilometres
I know from locally stored knowledge that:
metre
is the optimum conversion unit for
kilometre
([fact: ["642099200@trueknowledge.com"]])
Fact 2:
1,000
is the multiplier that converts
kilometre and metre
([fact: ["127372706@trueknowledge.com"]])
Fact 2
is true for
all time
([fact: ["1050410786@trueknowledge.com"]])
Fact 2
is true for
the beginning of time onwards
([fact: ["127372707@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
all time
is the timeperiod intersection of
all time and all time
By calculation (generator: ["product@trueknowledge.com"]) I know that:
1/30856778100000
is the product of
1,000 and 1/30856778100000000
By calculation (generator: ["multiplier_that_converts2@trueknowledge.com"]) I know that:
Fact 3:
1/30856778100000
is the multiplier that converts
kilometre and parsec
Fact 3
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
June 19th 2013, 12:06:58
By calculation (generator: ["multiplier_that_converts2@trueknowledge.com"]) I know that:
Fact 3
is true for
the beginning of time onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
the beginning of time onwards
is the timeperiod intersection of
the beginning of time onwards and the beginning of time onwards
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
6,371
is the first parameter of
6,371 kilometres
By calculation (generator: ["product@trueknowledge.com"]) I know that:
6371/30856778100000
is the product of
1/30856778100000 and 6,371
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
6,371 kilometres
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
6371/30856778100000 parsecs
is the parametered object corresponding to
length and 6371/30856778100000 and parsec
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 4:
6371/30856778100000 parsecs
is equivalent to
6,371 kilometres
Fact 4
is true at
June 19th 2013, 12:06:58
Fact 4:
parsec
is the unit used in
6371/30856778100000 parsecs