By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 14:45:48
I know from locally stored knowledge that:
is taller than
is a left comparison of
is the height of
([fact: ["16633219@trueknowledge.com"]])
By calculation (generator: ["in_group@trueknowledge.com"]) I know that:
Mount Everest
is in the group
Mount Everest and Mount Kilimanjaro
Mount Kilimanjaro
is in the group
Mount Everest and Mount Kilimanjaro
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Mount Everest
is not strictly equal to
Mount Kilimanjaro
I know from locally stored knowledge that:
Fact 1:
Mount Everest
is taller than
Mount Kilimanjaro
([fact: ["127920413@trueknowledge.com"]])
Fact 1
is true for
the earliest time when the fact can make sense onwards
([fact: ["127920414@trueknowledge.com"]])
By calculation (generator: ["maximal_member2@trueknowledge.com"]) I know that:
Fact 2:
Mount Everest
is the maximal member by left comparison of
Mount Everest and Mount Kilimanjaro and is the height of
Fact 2
is true for
the earliest time when the fact can make sense onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 14:45:48
Adding…
