By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 22nd 2013, 08:54:31
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
I know from locally stored knowledge that:
November 27th 1957
is the birthdate of
Caroline Bouvier Kennedy
([fact: ["125751730@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
55 years, 5 months and 25 days old
is the age of
Caroline Bouvier Kennedy
Fact 1
is true at
May 22nd 2013, 08:54:31
Fact 1:
55 years, 5 months and 25 days old
is a
age
Fact 1:
55 years, 5 months and 25 days old
applies to
Caroline Bouvier Kennedy
Fact 1
is true at
May 22nd 2013, 08:54:31
I know from locally stored knowledge that:
1945
is the birthdate of
Edwin Schlossberg
([fact: ["888485534@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
between 67 years and 5 months and 68 years and 4 months old
is the age of
Edwin Schlossberg
Fact 1
is true at
May 22nd 2013, 08:54:31
Fact 1:
between 67 years and 5 months and 68 years and 4 months old
is a
age
Fact 1:
between 67 years and 5 months and 68 years and 4 months old
applies to
Edwin Schlossberg
Fact 1
is true at
May 22nd 2013, 08:54:31
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
between 67 years and 5 months and 68 years and 4 months
is greater than
55 years, 5 months and 25 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
between 67 years and 5 months and 68 years and 4 months
is not less than
55 years, 5 months and 25 days
between 67 years and 5 months and 68 years and 4 months
is not the same as
55 years, 5 months and 25 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
between 67 years and 5 months and 68 years and 4 months old
is greater than
55 years, 5 months and 25 days old
I know from locally stored knowledge that:
July 19th 1945
is the birthdate of
Edwin Schlossberg
([fact: ["888485538@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
67 years, 10 months and 3 days old
is the age of
Edwin Schlossberg
Fact 1
is true at
May 22nd 2013, 08:54:31
Fact 1:
67 years, 10 months and 3 days old
is a
age
Fact 1:
67 years, 10 months and 3 days old
applies to
Edwin Schlossberg
Fact 1
is true at
May 22nd 2013, 08:54:31
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
67 years, 10 months and 3 days
is greater than
55 years, 5 months and 25 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
67 years, 10 months and 3 days
is not less than
55 years, 5 months and 25 days
67 years, 10 months and 3 days
is not the same as
55 years, 5 months and 25 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
67 years, 10 months and 3 days old
is greater than
55 years, 5 months and 25 days old
By calculation (generator: ["younger_than@trueknowledge.com"]) I know that:
Fact 7:
Caroline Bouvier Kennedy
is younger than
Edwin Schlossberg
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:
Edwin Schlossberg
is not younger than
Caroline Bouvier Kennedy
By calculation (generator: ["antisymmetric1@trueknowledge.com"]) I know that:
Fact 8
is true for
all time
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 8
is true for all of timepoint
May 22nd 2013, 08:54:31