By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 12:30:52
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
yard
is the second parameter of
1,000 yards
I know from locally stored knowledge that:
foot
is the optimum conversion unit for
yard
([fact: ["642099652@trueknowledge.com"]])
metre
is the optimum conversion unit for
foot
([fact: ["642099028@trueknowledge.com"]])
Fact 1:
3
is the multiplier that converts
yard and foot
([fact: ["123991878@trueknowledge.com"]])
Fact 1
is true for
all time
([fact: ["1050410742@trueknowledge.com"]])
Fact 1
is true for
the beginning of time onwards
([fact: ["123991879@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
foot
is not strictly equal to
kilometre
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
all time
([fact: ["1050410746@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
metre
is not strictly equal to
yard
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:
0.0009144
is the product of
3, 0.3048 and 1/1000
By calculation (generator: ["multiplier_that_converts7@trueknowledge.com"]) I know that:
Fact 3:
0.0009144
is the multiplier that converts
yard and kilometre
Fact 3
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 23rd 2013, 12:30:52
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:
the beginning of time onwards
is the timeperiod intersection of
the beginning of time onwards and all time
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:
1,000
is the first parameter of
1,000 yards
By calculation (generator: ["product@trueknowledge.com"]) I know that:
0.9144
is the product of
0.0009144 and 1,000
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
1,000 yards
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
0.9144 kilometres
is the parametered object corresponding to
length and 0.9144 and kilometre
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 4:
0.9144 kilometres
is equivalent to
1,000 yards
Fact 4
is true at
May 23rd 2013, 12:30:52
Fact 4:
kilometre
is the unit used in
0.9144 kilometres
Facts
Show facts
