By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 26th 2013, 08:40:13
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:
July 10th 1904
is the birthdate of
Lili Damita
([fact: ["18044887@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
108 years, 10 months and 16 days old
is the age of
Lili Damita
Fact 1
is true at
May 26th 2013, 08:40:13
Fact 1:
108 years, 10 months and 16 days old
is a
age
Fact 1:
108 years, 10 months and 16 days old
applies to
Lili Damita
Fact 1
is true at
May 26th 2013, 08:40:13
I know from locally stored knowledge that:
December 24th 1886
is the birthdate of
Michael Curtiz
([fact: ["19346329@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
126 years, 5 months and 2 days old
is the age of
Michael Curtiz
Fact 1
is true at
May 26th 2013, 08:40:13
Fact 1:
126 years, 5 months and 2 days old
is a
age
Fact 1:
126 years, 5 months and 2 days old
applies to
Michael Curtiz
Fact 1
is true at
May 26th 2013, 08:40:13
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
126 years, 5 months and 2 days
is greater than
108 years, 10 months and 16 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
126 years, 5 months and 2 days
is not less than
108 years, 10 months and 16 days
126 years, 5 months and 2 days
is not the same as
108 years, 10 months and 16 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
126 years, 5 months and 2 days old
is greater than
108 years, 10 months and 16 days old
By calculation (generator: ["younger_than@trueknowledge.com"]) I know that:
Fact 5:
Lili Damita
is younger than
Michael Curtiz
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 younger than
([fact: ["1156421@trueknowledge.com"]])
Therefore (generator: ["antisymmetric1@trueknowledge.com"]):
Fact 6:
Michael Curtiz
is not younger than
Lili Damita
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, 08:40:13
