By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 07:45:24
I know from locally stored knowledge that:
male person
is a subclass of
person
([fact: ["1154079@trueknowledge.com"]])
Fact 1:
Edmund Hillary
is the result of the position class and ordering
first, person and [ordering by date of doing: [qualified action: [climbed]; [mount everest]]]
([fact: ["431894340@trueknowledge.com"]])
Fact 1
is true for
August 16th 2009, 00:00:00 onwards
([fact: ["431894408@trueknowledge.com"]])
male person
is specified by
person and male
([fact: ["1155190@trueknowledge.com"]])
Fact 2:
Edmund Hillary
is a
person
([fact: ["19254514@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
person
([fact: ["1131338@trueknowledge.com"]])
Fact 3:
male
applies to
Edmund Hillary
([fact: ["19837785@trueknowledge.com"]])
By calculation (generator: ["ap@trueknowledge.com"]) I know that:
Fact 3
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
male
([fact: ["1132164@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
all time
is the timeperiod intersection of
all time and all time
By calculation (generator: ["instancespecifiedby@trueknowledge.com"]) I know that:
Fact 4:
Edmund Hillary
is a
male person
Fact 4
is true for
all time
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
August 16th 2009, 00:00:00 onwards
is the timeperiod intersection of
August 16th 2009, 00:00:00 onwards and all time
By calculation (generator: ["result_position_class_and_ordering@trueknowledge.com"]) I know that:
Fact 5:
Edmund Hillary
is the result of the position class and ordering
first, male person and [ordering by date of doing: [qualified action: [climbed]; [mount everest]]]
Fact 5
is true for
August 16th 2009, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
February 14th 2012, 07:45:24
Adding…
