By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 21:36:42
I know from locally stored knowledge that:
treat as antisymmetric
applies to
is older than
([fact: ["232414366@trueknowledge.com"]])
thing that was created
is the left class of
is older than
([fact: ["1156404@trueknowledge.com"]])
thing that was created
is the right class of
is older than
([fact: ["1156405@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
thing that was created
is strictly equal to
thing that was created
I know from locally stored knowledge that:
March 31st 1889
is the date of creation of
the Eiffel Tower
([fact: ["1156393@trueknowledge.com"]])
By calculation (generator: ["age@trueknowledge.com"]) I know that:
Fact 1:
122 years, 10 months and 14 days old
is the age of
the Eiffel Tower
Fact 1
is true at
February 14th 2012, 21:36:42
Fact 1:
122 years, 10 months and 14 days old
is a
age
Fact 1:
122 years, 10 months and 14 days old
applies to
the Eiffel Tower
Fact 1
is true at
February 14th 2012, 21:36:42
I know from locally stored knowledge that:
February 20th 1951
is the birthdate of
Gordon Brown
([fact: ["1157482@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 3:
60 years, 11 months and 25 days old
is the age of
Gordon Brown
Fact 3
is true at
February 14th 2012, 21:36:42
Fact 3:
60 years, 11 months and 25 days old
is a
age
Fact 3:
60 years, 11 months and 25 days old
applies to
Gordon Brown
Fact 3
is true at
February 14th 2012, 21:36:42
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
122 years, 10 months and 14 days
is greater than
60 years, 11 months and 25 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
122 years, 10 months and 14 days
is not less than
60 years, 11 months and 25 days
122 years, 10 months and 14 days
is not the same as
60 years, 11 months and 25 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
122 years, 10 months and 14 days old
is greater than
60 years, 11 months and 25 days old
By calculation (generator: ["older_than@trueknowledge.com"]) I know that:
Fact 5:
the Eiffel Tower
is older than
Gordon Brown
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 5
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
is older than
([fact: ["1156406@trueknowledge.com"]])
Therefore (generator: ["antisymmetric1@trueknowledge.com"]):
Fact 6:
Gordon Brown
is not older than
the Eiffel Tower
By calculation (generator: ["antisymmetric1@trueknowledge.com"]) I know that:
Fact 6
is true for
all time
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 6
is true for all of timepoint
February 14th 2012, 21:36:42