By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 16:24:37
I know from locally stored knowledge that:
Fact 1:
6,792.4 kilometres
is the diameter of
Mars
([fact: ["234463518@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
February 14th 2012, 16:24:37
I know from locally stored knowledge that:
permanent
applies to
is the diameter of
([fact: ["123928239@trueknowledge.com"]])
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
kilometre
is the second parameter of
6,792.4 kilometres
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
6,792.4
is the first parameter of
6,792.4 kilometres
By calculation (generator: ["product@trueknowledge.com"]) I know that:
4,220.61217642015
is the product of
0.621372736649807 and 6,792.4
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
6,792.4 kilometres
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
4,220.61217642015 miles
is the parametered object corresponding to
length and 4,220.61217642015 and mile
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 2:
4,220.61217642015 miles
is equivalent to
6,792.4 kilometres
Fact 2
is true at
February 14th 2012, 16:24:37
Fact 2:
mile
is the unit used in
4,220.61217642015 miles
I know from locally stored knowledge that:
3,397 kilometres
is the radius of
Mars
([fact: ["1102113886@trueknowledge.com"]])
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
3,397
is the first parameter of
3,397 kilometres
By calculation (generator: ["product@trueknowledge.com"]) I know that:
6,794
is the product of
2 and 3,397
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
kilometre
is the second parameter of
3,397 kilometres
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
6,794 kilometres
is the parametered object corresponding to
length and 6,794 and kilometre
By calculation (generator: ["diameter@trueknowledge.com"]) I know that:
Fact 3:
6,794 kilometres
is the diameter of
Mars
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
February 14th 2012, 16:24:37
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
kilometre
is the second parameter of
6,794 kilometres
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
6,794
is the first parameter of
6,794 kilometres
By calculation (generator: ["product@trueknowledge.com"]) I know that:
4,221.60637279879
is the product of
0.621372736649807 and 6,794
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
6,794 kilometres
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
4,221.60637279879 miles
is the parametered object corresponding to
length and 4,221.60637279879 and mile
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 2:
4,221.60637279879 miles
is equivalent to
6,794 kilometres
Fact 2
is true at
February 14th 2012, 16:24:37
Fact 2:
mile
is the unit used in
4,221.60637279879 miles
Adding…
