By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 22nd 2013, 22:33:50
I know from locally stored knowledge that:
is older than
is a left comparison of
is the age of
([fact: ["1156782@trueknowledge.com"]])
By calculation (generator: ["in_group@trueknowledge.com"]) I know that:
John Tyler
is in the group
John Tyler and Julia Gardiner Tyler
Julia Gardiner Tyler
is in the group
John Tyler and Julia Gardiner Tyler
Therefore (generator: ["strictequal1@trueknowledge.com"]):
John Tyler
is not strictly equal to
Julia Gardiner Tyler
I know from locally stored knowledge that:
March 29th 1790
is the birthdate of
John Tyler
([fact: ["18366132@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
223 years, 1 month and 23 days old
is the age of
John Tyler
Fact 1
is true at
May 22nd 2013, 22:33:50
Fact 1:
223 years, 1 month and 23 days old
is a
age
Fact 1:
223 years, 1 month and 23 days old
applies to
John Tyler
Fact 1
is true at
May 22nd 2013, 22:33:50
I know from locally stored knowledge that:
July 29th 1820
is the birthdate of
Julia Gardiner Tyler
([fact: ["681304532@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
192 years, 9 months and 23 days old
is the age of
Julia Gardiner Tyler
Fact 1
is true at
May 22nd 2013, 22:33:50
Fact 1:
192 years, 9 months and 23 days old
is a
age
Fact 1:
192 years, 9 months and 23 days old
applies to
Julia Gardiner Tyler
Fact 1
is true at
May 22nd 2013, 22:33:50
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
223 years, 1 month and 23 days
is greater than
192 years, 9 months and 23 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
223 years, 1 month and 23 days
is not less than
192 years, 9 months and 23 days
223 years, 1 month and 23 days
is not the same as
192 years, 9 months and 23 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
223 years, 1 month and 23 days old
is greater than
192 years, 9 months and 23 days old
I know from locally stored knowledge that:
May 4th 1820
is the birthdate of
Julia Gardiner Tyler
([fact: ["125084239@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
193 years, 0 months and 18 days old
is the age of
Julia Gardiner Tyler
Fact 1
is true at
May 22nd 2013, 22:33:50
Fact 1:
193 years, 0 months and 18 days old
is a
age
Fact 1:
193 years, 0 months and 18 days old
applies to
Julia Gardiner Tyler
Fact 1
is true at
May 22nd 2013, 22:33:50
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
223 years, 1 month and 23 days
is greater than
193 years, 0 months and 18 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
223 years, 1 month and 23 days
is not less than
193 years, 0 months and 18 days
223 years, 1 month and 23 days
is not the same as
193 years, 0 months and 18 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
223 years, 1 month and 23 days old
is greater than
193 years, 0 months and 18 days old
By calculation (generator: ["older_than@trueknowledge.com"]) I know that:
Fact 7:
John Tyler
is older than
Julia Gardiner Tyler
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"]])
By calculation (generator: ["maximal_member2@trueknowledge.com"]) I know that:
Fact 8:
John Tyler
is the maximal member by left comparison of
John Tyler and Julia Gardiner Tyler and is the age of
Fact 8
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 8
is true at
May 22nd 2013, 22:33:50
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Julia Gardiner Tyler
is not strictly equal to
John Tyler
