By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 00:38:22
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
mile
is the second parameter of
2 miles
I know from locally stored knowledge that:
foot
is the optimum conversion unit for
mile
([fact: ["642099340@trueknowledge.com"]])
metre
is the optimum conversion unit for
foot
([fact: ["642099028@trueknowledge.com"]])
Fact 1:
5,280
is the multiplier that converts
mile and foot
([fact: ["125674461@trueknowledge.com"]])
Fact 1
is true for
May 3rd 2008, 00:00:00 onwards
([fact: ["125674495@trueknowledge.com"]])
Fact 1
is true for
all time
([fact: ["1050410754@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
foot
is not strictly equal to
furlong
I know from locally stored knowledge that:
Fact 2:
0.3048
is the multiplier that converts
foot and metre
([fact: ["124103541@trueknowledge.com"]])
Fact 2
is true for
the earliest time when the fact can make sense onwards
([fact: ["850618192@trueknowledge.com"]])
Fact 2
is true for
all time
([fact: ["1050410746@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
metre
is not strictly equal to
mile
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
May 3rd 2008, 00:00:00 onwards
is the timeperiod intersection of
May 3rd 2008, 00:00:00 onwards and the earliest time when the fact can make sense onwards
May 3rd 2008, 00:00:00 onwards
is the timeperiod intersection of
May 3rd 2008, 00:00:00 onwards and all time
By calculation (generator: ["product@trueknowledge.com"]) I know that:
8.0
is the product of
5,280, 0.3048 and 0.00497096953789867
By calculation (generator: ["multiplier_that_converts7@trueknowledge.com"]) I know that:
Fact 3:
8.0
is the multiplier that converts
mile and furlong
Fact 3
is true for
May 3rd 2008, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 14th 2012, 00:38:22
By calculation (generator: ["multiplier_that_converts7@trueknowledge.com"]) I know that:
Fact 3
is true for
the beginning of time onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
all time
is the timeperiod intersection of
all time and all time
the beginning of time onwards
is the timeperiod intersection of
all time and the beginning of time onwards
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
2
is the first parameter of
2 miles
By calculation (generator: ["product@trueknowledge.com"]) I know that:
16.0
is the product of
8.0 and 2
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
2 miles
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
16.0 furlongs
is the parametered object corresponding to
length and 16.0 and furlong
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 4:
16.0 furlongs
is equivalent to
2 miles
Fact 4
is true at
February 14th 2012, 00:38:22
Fact 4:
furlong
is the unit used in
16.0 furlongs
Adding…
