By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 18th 2013, 13:23:24
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:
Mary-Anne Fahey
is in the group
Mary-Anne Fahey and Morris Gleitzman
Morris Gleitzman
is in the group
Mary-Anne Fahey and Morris Gleitzman
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Morris Gleitzman
is not strictly equal to
Mary-Anne Fahey
I know from locally stored knowledge that:
January 9th 1953
is the birthdate of
Morris Gleitzman
([fact: ["137768744@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
60 years, 4 months and 9 days old
is the age of
Morris Gleitzman
Fact 1
is true at
May 18th 2013, 13:23:24
Fact 1:
60 years, 4 months and 9 days old
is a
age
Fact 1:
60 years, 4 months and 9 days old
applies to
Morris Gleitzman
Fact 1
is true at
May 18th 2013, 13:23:24
I know from locally stored knowledge that:
August 19th 1955
is the birthdate of
Mary-Anne Fahey
([fact: ["18081965@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
57 years, 8 months and 29 days old
is the age of
Mary-Anne Fahey
Fact 1
is true at
May 18th 2013, 13:23:24
Fact 1:
57 years, 8 months and 29 days old
is a
age
Fact 1:
57 years, 8 months and 29 days old
applies to
Mary-Anne Fahey
Fact 1
is true at
May 18th 2013, 13:23:24
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
60 years, 4 months and 9 days
is greater than
57 years, 8 months and 29 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
60 years, 4 months and 9 days
is not less than
57 years, 8 months and 29 days
60 years, 4 months and 9 days
is not the same as
57 years, 8 months and 29 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
60 years, 4 months and 9 days old
is greater than
57 years, 8 months and 29 days old
By calculation (generator: ["older_than@trueknowledge.com"]) I know that:
Fact 5:
Morris Gleitzman
is older than
Mary-Anne Fahey
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:
Morris Gleitzman
is the maximal member by left comparison of
Mary-Anne Fahey and Morris Gleitzman 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 18th 2013, 13:23:24
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Mary-Anne Fahey
is not strictly equal to
Morris Gleitzman