By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 20th 2013, 03:03:33
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:
Marge Champion
is in the group
Marge Champion and Art Babbitt
Art Babbitt
is in the group
Marge Champion and Art Babbitt
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Art Babbitt
is not strictly equal to
Marge Champion
I know from locally stored knowledge that:
October 8th 1907
is the birthdate of
Art Babbitt
([fact: ["18894802@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
105 years, 7 months and 12 days old
is the age of
Art Babbitt
Fact 1
is true at
May 20th 2013, 03:03:33
Fact 1:
105 years, 7 months and 12 days old
is a
age
Fact 1:
105 years, 7 months and 12 days old
applies to
Art Babbitt
Fact 1
is true at
May 20th 2013, 03:03:33
I know from locally stored knowledge that:
September 2nd 1919
is the birthdate of
Marge Champion
([fact: ["126789885@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
93 years, 8 months and 18 days old
is the age of
Marge Champion
Fact 1
is true at
May 20th 2013, 03:03:33
Fact 1:
93 years, 8 months and 18 days old
is a
age
Fact 1:
93 years, 8 months and 18 days old
applies to
Marge Champion
Fact 1
is true at
May 20th 2013, 03:03:33
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
105 years, 7 months and 12 days
is greater than
93 years, 8 months and 18 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
105 years, 7 months and 12 days
is not less than
93 years, 8 months and 18 days
105 years, 7 months and 12 days
is not the same as
93 years, 8 months and 18 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
105 years, 7 months and 12 days old
is greater than
93 years, 8 months and 18 days old
By calculation (generator: ["older_than@trueknowledge.com"]) I know that:
Fact 5:
Art Babbitt
is older than
Marge Champion
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"]])
By calculation (generator: ["maximal_member2@trueknowledge.com"]) I know that:
Fact 6:
Art Babbitt
is the maximal member by left comparison of
Marge Champion and Art Babbitt and is the age of
Fact 6
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
May 20th 2013, 03:03:33
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Marge Champion
is not strictly equal to
Art Babbitt
Facts
Show facts
