I know from locally stored knowledge that:
treat as antisymmetric
applies to
is younger than
([fact: ["232414374@trueknowledge.com"]])
thing that was created
is the left class of
is younger than
([fact: ["1156419@trueknowledge.com"]])
thing that was created
is the right class of
is younger than
([fact: ["1156420@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
thing that was created
is strictly equal to
thing that was created
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 20th 2013, 01:42:10
I know from locally stored knowledge that:
July 10th 1921
is the birthdate of
Eunice Mary Kennedy Shriver
([fact: ["17821607@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
91 years, 10 months and 10 days old
is the age of
Eunice Mary Kennedy Shriver
Fact 1
is true at
May 20th 2013, 01:42:10
Fact 1:
91 years, 10 months and 10 days old
is a
age
Fact 1:
91 years, 10 months and 10 days old
applies to
Eunice Mary Kennedy Shriver
Fact 1
is true at
May 20th 2013, 01:42:10
I know from locally stored knowledge that:
November 9th 1915
is the birthdate of
Sargent Shriver
([fact: ["19326263@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
97 years, 6 months and 11 days old
is the age of
Sargent Shriver
Fact 1
is true at
May 20th 2013, 01:42:10
Fact 1:
97 years, 6 months and 11 days old
is a
age
Fact 1:
97 years, 6 months and 11 days old
applies to
Sargent Shriver
Fact 1
is true at
May 20th 2013, 01:42:10
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
97 years, 6 months and 11 days
is greater than
91 years, 10 months and 10 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
97 years, 6 months and 11 days
is not less than
91 years, 10 months and 10 days
97 years, 6 months and 11 days
is not the same as
91 years, 10 months and 10 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
97 years, 6 months and 11 days old
is greater than
91 years, 10 months and 10 days old
I know from locally stored knowledge that:
January 9th 1915
is the birthdate of
Sargent Shriver
([fact: ["1158490608@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
98 years, 4 months and 11 days old
is the age of
Sargent Shriver
Fact 1
is true at
May 20th 2013, 01:42:10
Fact 1:
98 years, 4 months and 11 days old
is a
age
Fact 1:
98 years, 4 months and 11 days old
applies to
Sargent Shriver
Fact 1
is true at
May 20th 2013, 01:42:10
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
98 years, 4 months and 11 days
is greater than
91 years, 10 months and 10 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
98 years, 4 months and 11 days
is not less than
91 years, 10 months and 10 days
98 years, 4 months and 11 days
is not the same as
91 years, 10 months and 10 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
98 years, 4 months and 11 days old
is greater than
91 years, 10 months and 10 days old
By calculation (generator: ["younger_than@trueknowledge.com"]) I know that:
Fact 7:
Eunice Mary Kennedy Shriver
is younger than
Sargent Shriver
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 younger than
([fact: ["1156421@trueknowledge.com"]])
Therefore (generator: ["antisymmetric1@trueknowledge.com"]):
Fact 8:
Sargent Shriver
is not younger than
Eunice Mary Kennedy Shriver
By calculation (generator: ["antisymmetric1@trueknowledge.com"]) I know that:
Fact 8
is true for
all time
