By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 26th 2013, 03:03:26
I know from locally stored knowledge that:
treat as antisymmetric
applies to
is older than
([fact: ["232414366@trueknowledge.com"]])
thing that was created
is the left class of
is older than
([fact: ["1156404@trueknowledge.com"]])
thing that was created
is the right class of
is older than
([fact: ["1156405@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:
January 18th 1962
is the birthdate of
Jeremy Healy
([fact: ["139108675@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
51 years, 4 months and 8 days old
is the age of
Jeremy Healy
Fact 1
is true at
May 26th 2013, 03:03:26
Fact 1:
51 years, 4 months and 8 days old
is a
age
Fact 1:
51 years, 4 months and 8 days old
applies to
Jeremy Healy
Fact 1
is true at
May 26th 2013, 03:03:26
I know from locally stored knowledge that:
March 4th 1968
is the birthdate of
Patsy Kensit
([fact: ["425205852@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
45 years, 2 months and 22 days old
is the age of
Patsy Kensit
Fact 1
is true at
May 26th 2013, 03:03:26
Fact 1:
45 years, 2 months and 22 days old
is a
age
Fact 1:
45 years, 2 months and 22 days old
applies to
Patsy Kensit
Fact 1
is true at
May 26th 2013, 03:03:26
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
51 years, 4 months and 8 days
is greater than
45 years, 2 months and 22 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
51 years, 4 months and 8 days
is not less than
45 years, 2 months and 22 days
51 years, 4 months and 8 days
is not the same as
45 years, 2 months and 22 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
51 years, 4 months and 8 days old
is greater than
45 years, 2 months and 22 days old
By calculation (generator: ["older_than@trueknowledge.com"]) I know that:
Fact 5:
Jeremy Healy
is older than
Patsy Kensit
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"]])
Therefore (generator: ["antisymmetric1@trueknowledge.com"]):
Fact 6:
Patsy Kensit
is not older than
Jeremy Healy
By calculation (generator: ["antisymmetric1@trueknowledge.com"]) I know that:
Fact 6
is true for
all time
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 6
is true for all of timepoint
May 26th 2013, 03:03:26
