By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 18th 2013, 10:31:26
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:
July 6th 1946
is the birthdate of
George W. Bush
([fact: ["1135927@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
66 years, 10 months and 12 days old
is the age of
George W. Bush
Fact 1
is true at
May 18th 2013, 10:31:26
Fact 1:
66 years, 10 months and 12 days old
is a
age
Fact 1:
66 years, 10 months and 12 days old
applies to
George W. Bush
Fact 1
is true at
May 18th 2013, 10:31:26
I know from locally stored knowledge that:
July 17th 1954
is the birthdate of
Angela Merkel
([fact: ["124045483@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
58 years, 10 months and 1 day old
is the age of
Angela Merkel
Fact 1
is true at
May 18th 2013, 10:31:26
Fact 1:
58 years, 10 months and 1 day old
is a
age
Fact 1:
58 years, 10 months and 1 day old
applies to
Angela Merkel
Fact 1
is true at
May 18th 2013, 10:31:26
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
66 years, 10 months and 12 days
is greater than
58 years, 10 months and 1 day
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
66 years, 10 months and 12 days
is not less than
58 years, 10 months and 1 day
66 years, 10 months and 12 days
is not the same as
58 years, 10 months and 1 day
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
66 years, 10 months and 12 days old
is greater than
58 years, 10 months and 1 day old
I know from locally stored knowledge that:
June 17th 1954
is the birthdate of
Angela Merkel
([fact: ["1468074830@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
58 years, 11 months and 1 day old
is the age of
Angela Merkel
Fact 1
is true at
May 18th 2013, 10:31:26
Fact 1:
58 years, 11 months and 1 day old
is a
age
Fact 1:
58 years, 11 months and 1 day old
applies to
Angela Merkel
Fact 1
is true at
May 18th 2013, 10:31:26
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
66 years, 10 months and 12 days
is greater than
58 years, 11 months and 1 day
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
66 years, 10 months and 12 days
is not less than
58 years, 11 months and 1 day
66 years, 10 months and 12 days
is not the same as
58 years, 11 months and 1 day
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
66 years, 10 months and 12 days old
is greater than
58 years, 11 months and 1 day old
By calculation (generator: ["older_than@trueknowledge.com"]) I know that:
Fact 7:
George W. Bush
is older than
Angela Merkel
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 7
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 8:
Angela Merkel
is not older than
George W. Bush
By calculation (generator: ["antisymmetric1@trueknowledge.com"]) I know that:
Fact 8
is true for
all time
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 8
is true for all of timepoint
May 18th 2013, 10:31:26