By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 24th 2013, 20:33:54
I know from locally stored knowledge that:
volcano
is a subclass of
mountain
([fact: ["136344422@trueknowledge.com"]])
Fact 1:
Mauna Kea
is the result of the position class and ordering
first, mountain and [reverse ordering by left relation: [is the height of]]
([fact: ["192052330@trueknowledge.com"]])
Fact 1
is true for
February 20th 2009, 00:00:00 onwards
([fact: ["192052370@trueknowledge.com"]])
Fact 2:
Mauna Kea
is a
volcano
([fact: ["136145528@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
volcano
([fact: ["123902808@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
February 20th 2009, 00:00:00 onwards
is the timeperiod intersection of
February 20th 2009, 00:00:00 onwards and all time
By calculation (generator: ["result_position_class_and_ordering@trueknowledge.com"]) I know that:
Fact 3:
Mauna Kea
is the result of the position class and ordering
first, volcano and [reverse ordering by left relation: [is the height of]]
Fact 3
is true for
February 20th 2009, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 24th 2013, 20:33:54