By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 18th 2013, 07:19:25
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:
Peter Fleming
is in the group
Peter Fleming and Celia Johnson
Celia Johnson
is in the group
Peter Fleming and Celia Johnson
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Peter Fleming
is not strictly equal to
Celia Johnson
I know from locally stored knowledge that:
May 31st 1907
is the birthdate of
Peter Fleming
([fact: ["863654848@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
106 years, 0 months and 18 days old
is the age of
Peter Fleming
Fact 1
is true at
June 18th 2013, 07:19:25
Fact 1:
106 years, 0 months and 18 days old
is a
age
Fact 1:
106 years, 0 months and 18 days old
applies to
Peter Fleming
Fact 1
is true at
June 18th 2013, 07:19:25
I know from locally stored knowledge that:
December 18th 1908
is the birthdate of
Celia Johnson
([fact: ["18336761@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
104 years, 6 months and 0 days old
is the age of
Celia Johnson
Fact 1
is true at
June 18th 2013, 07:19:25
Fact 1:
104 years, 6 months and 0 days old
is a
age
Fact 1:
104 years, 6 months and 0 days old
applies to
Celia Johnson
Fact 1
is true at
June 18th 2013, 07:19:25
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
106 years, 0 months and 18 days
is greater than
104 years, 6 months and 0 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
106 years, 0 months and 18 days
is not less than
104 years, 6 months and 0 days
106 years, 0 months and 18 days
is not the same as
104 years, 6 months and 0 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
106 years, 0 months and 18 days old
is greater than
104 years, 6 months and 0 days old
I know from locally stored knowledge that:
1907
is the birthdate of
Peter Fleming
([fact: ["863654824@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
between 105 years and 6 months and 106 years and 5 months old
is the age of
Peter Fleming
Fact 1
is true at
June 18th 2013, 07:19:25
Fact 1:
between 105 years and 6 months and 106 years and 5 months old
is a
age
Fact 1:
between 105 years and 6 months and 106 years and 5 months old
applies to
Peter Fleming
Fact 1
is true at
June 18th 2013, 07:19:25
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
between 105 years and 6 months and 106 years and 5 months
is greater than
104 years, 6 months and 0 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
between 105 years and 6 months and 106 years and 5 months
is not less than
104 years, 6 months and 0 days
between 105 years and 6 months and 106 years and 5 months
is not the same as
104 years, 6 months and 0 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
between 105 years and 6 months and 106 years and 5 months old
is greater than
104 years, 6 months and 0 days old
By calculation (generator: ["older_than@trueknowledge.com"]) I know that:
Fact 7:
Peter Fleming
is older than
Celia Johnson
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:
Peter Fleming
is the maximal member by left comparison of
Peter Fleming and Celia Johnson 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
June 18th 2013, 07:19:25
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Celia Johnson
is not strictly equal to
Peter Fleming
