By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 11th 2012, 18:24:45
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
person
is strictly equal to
person
By calculation (generator: ["ppac1@trueknowledge.com"]) I know that:
adult person
is a subclass of
person
Leo person
is a subclass of
person
sagittarian person
is a subclass of
person
I know from locally stored knowledge that:
Fact 1:
Sultan Kösen
is the result of the position class and ordering
first, person and [reverse ordering by left relation: [is the height of]]
([fact: ["1037464142@trueknowledge.com"]])
Fact 1
is true for
September 17th 2009 onwards
([fact: ["1037464146@trueknowledge.com"]])
Fact 2:
Sultan Kösen
is a
person
([fact: ["127007082@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:
December 10th 1982
is the birthdate of
Sultan Kösen
([fact: ["686174072@trueknowledge.com"]])
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
December 10th 2000
is the timepoint sum of
December 10th 1982 and 18 years, 0 months, 0 days and 0 hours
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
December 10th 2000 onwards
is strictly equal to
December 10th 2000 onwards
By calculation (generator: ["adult2@trueknowledge.com"]) I know that:
Fact 3:
adult
applies to
Sultan Kösen
Fact 3
is true for
December 10th 2000 onwards
I know from locally stored knowledge that:
permanent
applies to
person
([fact: ["1131338@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
December 10th 2000 onwards
is the timeperiod intersection of
all time and December 10th 2000 onwards
By calculation (generator: ["instance2@trueknowledge.com"]) I know that:
Fact 4:
Sultan Kösen
is a
adult person
Fact 4
is true for
December 10th 2000 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 17th 2009 onwards
is the timeperiod intersection of
September 17th 2009 onwards and December 10th 2000 onwards
By calculation (generator: ["result_position_class_and_ordering@trueknowledge.com"]) I know that:
Fact 5:
Sultan Kösen
is the result of the position class and ordering
first, adult person and [reverse ordering by left relation: [is the height of]]
Fact 5
is true for
September 17th 2009 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
February 11th 2012, 18:24:45
Adding…
