By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 21st 2013, 15:34:10
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:
October 6th 1973
is the birthdate of
Ioan Gruffudd
([fact: ["18663095@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
39 years, 7 months and 15 days old
is the age of
Ioan Gruffudd
Fact 1
is true at
May 21st 2013, 15:34:10
Fact 1:
39 years, 7 months and 15 days old
is a
age
Fact 1:
39 years, 7 months and 15 days old
applies to
Ioan Gruffudd
Fact 1
is true at
May 21st 2013, 15:34:10
I know from locally stored knowledge that:
August 2nd 1971
is the birthdate of
Alice Evans
([fact: ["18529762@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
41 years, 9 months and 19 days old
is the age of
Alice Evans
Fact 1
is true at
May 21st 2013, 15:34:10
Fact 1:
41 years, 9 months and 19 days old
is a
age
Fact 1:
41 years, 9 months and 19 days old
applies to
Alice Evans
Fact 1
is true at
May 21st 2013, 15:34:10
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
41 years, 9 months and 19 days
is greater than
39 years, 7 months and 15 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
41 years, 9 months and 19 days
is not less than
39 years, 7 months and 15 days
41 years, 9 months and 19 days
is not the same as
39 years, 7 months and 15 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
41 years, 9 months and 19 days old
is greater than
39 years, 7 months and 15 days old
I know from locally stored knowledge that:
August 2nd 1968
is the birthdate of
Alice Evans
([fact: ["2437806870@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
44 years, 9 months and 19 days old
is the age of
Alice Evans
Fact 1
is true at
May 21st 2013, 15:34:10
Fact 1:
44 years, 9 months and 19 days old
is a
age
Fact 1:
44 years, 9 months and 19 days old
applies to
Alice Evans
Fact 1
is true at
May 21st 2013, 15:34:10
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
44 years, 9 months and 19 days
is greater than
39 years, 7 months and 15 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
44 years, 9 months and 19 days
is not less than
39 years, 7 months and 15 days
44 years, 9 months and 19 days
is not the same as
39 years, 7 months and 15 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
44 years, 9 months and 19 days old
is greater than
39 years, 7 months and 15 days old
By calculation (generator: ["younger_than@trueknowledge.com"]) I know that:
Fact 7:
Ioan Gruffudd
is younger than
Alice Evans
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:
Alice Evans
is not younger than
Ioan Gruffudd
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 21st 2013, 15:34:10
