By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 20th 2013, 00:56:45
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:
David Shire
is in the group
David Shire and Didi Conn
Didi Conn
is in the group
David Shire and Didi Conn
Therefore (generator: ["strictequal1@trueknowledge.com"]):
David Shire
is not strictly equal to
Didi Conn
I know from locally stored knowledge that:
July 3rd 1937
is the birthdate of
David Shire
([fact: ["18590834@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
75 years, 10 months and 17 days old
is the age of
David Shire
Fact 1
is true at
May 20th 2013, 00:56:45
Fact 1:
75 years, 10 months and 17 days old
is a
age
Fact 1:
75 years, 10 months and 17 days old
applies to
David Shire
Fact 1
is true at
May 20th 2013, 00:56:45
I know from locally stored knowledge that:
July 13th 1951
is the birthdate of
Didi Conn
([fact: ["135977524@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
61 years, 10 months and 7 days old
is the age of
Didi Conn
Fact 1
is true at
May 20th 2013, 00:56:45
Fact 1:
61 years, 10 months and 7 days old
is a
age
Fact 1:
61 years, 10 months and 7 days old
applies to
Didi Conn
Fact 1
is true at
May 20th 2013, 00:56:45
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
75 years, 10 months and 17 days
is greater than
61 years, 10 months and 7 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
75 years, 10 months and 17 days
is not less than
61 years, 10 months and 7 days
75 years, 10 months and 17 days
is not the same as
61 years, 10 months and 7 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
75 years, 10 months and 17 days old
is greater than
61 years, 10 months and 7 days old
By calculation (generator: ["older_than@trueknowledge.com"]) I know that:
Fact 5:
David Shire
is older than
Didi Conn
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:
David Shire
is the maximal member by left comparison of
David Shire and Didi Conn 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, 00:56:45