By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 24th 2013, 15:42:29
I know from locally stored knowledge that:
Fact 1:
2.2 metres tall
applies to
Big Ben
([fact: ["129916593@trueknowledge.com"]])
Fact 1
is true for
July 11th 2008, 15:03 onwards
([fact: ["1028984854@trueknowledge.com"]])
By calculation (generator: ["height@trueknowledge.com"]) I know that:
Fact 2:
2.2 metres
is the height of
Big Ben
Fact 2
is true for
July 11th 2008, 15:03 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 24th 2013, 15:42:29
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
metre
is the second parameter of
2.2 metres
I know from locally stored knowledge that:
Fact 3:
1
is the multiplier that converts
metre and metre
([fact: ["641960576@trueknowledge.com"]])
Fact 3
is true for
all time
([fact: ["1050412214@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 24th 2013, 15:42:29
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
2.2
is the first parameter of
2.2 metres
By calculation (generator: ["product@trueknowledge.com"]) I know that:
2.2
is the product of
1 and 2.2
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
2.2 metres
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
2.2 metres
is the parametered object corresponding to
length and 2.2 and metre
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 4:
2.2 metres
is equivalent to
2.2 metres
Fact 4
is true at
May 24th 2013, 15:42:29
Fact 4:
metre
is the unit used in
2.2 metres
