By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 15:48:32
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:
April 4th 1979
is the birthdate of
Heath Ledger
([fact: ["18353094@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
32 years, 10 months and 10 days old
is the age of
Heath Ledger
Fact 1
is true at
February 14th 2012, 15:48:32
Fact 1:
32 years, 10 months and 10 days old
is a
age
Fact 1:
32 years, 10 months and 10 days old
applies to
Heath Ledger
Fact 1
is true at
February 14th 2012, 15:48:32
I know from locally stored knowledge that:
April 30th 1982
is the birthdate of
Kirsten Dunst
([fact: ["18369491@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
29 years, 9 months and 15 days old
is the age of
Kirsten Dunst
Fact 1
is true at
February 14th 2012, 15:48:32
Fact 1:
29 years, 9 months and 15 days old
is a
age
Fact 1:
29 years, 9 months and 15 days old
applies to
Kirsten Dunst
Fact 1
is true at
February 14th 2012, 15:48:32
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
32 years, 10 months and 10 days
is greater than
29 years, 9 months and 15 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
32 years, 10 months and 10 days
is not less than
29 years, 9 months and 15 days
32 years, 10 months and 10 days
is not the same as
29 years, 9 months and 15 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
32 years, 10 months and 10 days old
is greater than
29 years, 9 months and 15 days old
I know from locally stored knowledge that:
April 30th 1988
is the birthdate of
Kirsten Dunst
([fact: ["1795276198@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
23 years, 9 months and 15 days old
is the age of
Kirsten Dunst
Fact 1
is true at
February 14th 2012, 15:48:32
Fact 1:
23 years, 9 months and 15 days old
is a
age
Fact 1:
23 years, 9 months and 15 days old
applies to
Kirsten Dunst
Fact 1
is true at
February 14th 2012, 15:48:32
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
32 years, 10 months and 10 days
is greater than
23 years, 9 months and 15 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
32 years, 10 months and 10 days
is not less than
23 years, 9 months and 15 days
32 years, 10 months and 10 days
is not the same as
23 years, 9 months and 15 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
32 years, 10 months and 10 days old
is greater than
23 years, 9 months and 15 days old
By calculation (generator: ["older_than@trueknowledge.com"]) I know that:
Fact 7:
Heath Ledger
is older than
Kirsten Dunst
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"]])
Therefore (generator: ["antisymmetric1@trueknowledge.com"]):
Fact 8:
Kirsten Dunst
is not older than
Heath Ledger
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
February 14th 2012, 15:48:32
Adding…
