By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 19th 2013, 23:40:35
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:
Maureen Lipman
is in the group
Maureen Lipman and Jack Rosenthal
Jack Rosenthal
is in the group
Maureen Lipman and Jack Rosenthal
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Jack Rosenthal
is not strictly equal to
Maureen Lipman
I know from locally stored knowledge that:
September 8th 1931
is the birthdate of
Jack Rosenthal
([fact: ["18956889@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
81 years, 8 months and 11 days old
is the age of
Jack Rosenthal
Fact 1
is true at
May 19th 2013, 23:40:35
Fact 1:
81 years, 8 months and 11 days old
is a
age
Fact 1:
81 years, 8 months and 11 days old
applies to
Jack Rosenthal
Fact 1
is true at
May 19th 2013, 23:40:35
I know from locally stored knowledge that:
May 10th 1946
is the birthdate of
Maureen Lipman
([fact: ["125967233@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
67 years, 0 months and 9 days old
is the age of
Maureen Lipman
Fact 1
is true at
May 19th 2013, 23:40:35
Fact 1:
67 years, 0 months and 9 days old
is a
age
Fact 1:
67 years, 0 months and 9 days old
applies to
Maureen Lipman
Fact 1
is true at
May 19th 2013, 23:40:35
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
81 years, 8 months and 11 days
is greater than
67 years, 0 months and 9 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
81 years, 8 months and 11 days
is not less than
67 years, 0 months and 9 days
81 years, 8 months and 11 days
is not the same as
67 years, 0 months and 9 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
81 years, 8 months and 11 days old
is greater than
67 years, 0 months and 9 days old
I know from locally stored knowledge that:
October 27th 1932
is the birthdate of
Jack Rosenthal
([fact: ["904961166@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
80 years, 6 months and 22 days old
is the age of
Jack Rosenthal
Fact 1
is true at
May 19th 2013, 23:40:35
Fact 1:
80 years, 6 months and 22 days old
is a
age
Fact 1:
80 years, 6 months and 22 days old
applies to
Jack Rosenthal
Fact 1
is true at
May 19th 2013, 23:40:35
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
80 years, 6 months and 22 days
is greater than
67 years, 0 months and 9 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
80 years, 6 months and 22 days
is not less than
67 years, 0 months and 9 days
80 years, 6 months and 22 days
is not the same as
67 years, 0 months and 9 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
80 years, 6 months and 22 days old
is greater than
67 years, 0 months and 9 days old
By calculation (generator: ["older_than@trueknowledge.com"]) I know that:
Fact 7:
Jack Rosenthal
is older than
Maureen Lipman
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:
Jack Rosenthal
is the maximal member by left comparison of
Maureen Lipman and Jack Rosenthal 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 19th 2013, 23:40:35
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Maureen Lipman
is not strictly equal to
Jack Rosenthal