By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 23:58:54
I know from locally stored knowledge that:
Fact 1:
Mount Everest
is the result of the position class and ordering
first, mountain and [reverse ordering by left relation: [is the elevation of]]
([fact: ["162443922@trueknowledge.com"]])
Fact 1
is true for
the beginning of time onwards
([fact: ["162443926@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 14th 2012, 23:58:54
I know from locally stored knowledge that:
Fact 2:
8,848 metres
is the height of
Mount Everest
([fact: ["221015138@trueknowledge.com"]])
Fact 2
is true for
December 29th 2010 onwards
([fact: ["1096760066@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 23:58:54
I know from locally stored knowledge that:
Fact 3:
8,850 metres
is the height of
Mount Everest
([fact: ["2078707206@trueknowledge.com"]])
Fact 3
is true for
July 29th 2011 onwards
([fact: ["2288947650@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 14th 2012, 23:58:54
Adding…
