By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 23:21:31
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:21:31
I know from locally stored knowledge that:
Fact 2:
Mount Everest
commonly translates as
"Mount Everest"
([fact: ["1153173@trueknowledge.com"]])
By calculation (generator: ["truenow1@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 23:21:31
I know from locally stored knowledge that:
true now
applies to
commonly translates as
([fact: ["1132302@trueknowledge.com"]])
Adding…
