By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 18:04:08
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:
February 6th 1911
is the birthdate of
Ronald Reagan
([fact: ["18388694@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
101 years, 0 months and 8 days old
is the age of
Ronald Reagan
Fact 1
is true at
February 14th 2012, 18:04:08
Fact 1:
101 years, 0 months and 8 days old
is a
age
Fact 1:
101 years, 0 months and 8 days old
applies to
Ronald Reagan
Fact 1
is true at
February 14th 2012, 18:04:08
I know from locally stored knowledge that:
is the date of creation of
is a more general form of
is the birthdate of
([fact: ["1142770@trueknowledge.com"]])
permanent
applies to
is the date of creation of
([fact: ["1142750@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
February 1966
is the date of creation of
Cindy Crawford
By calculation (generator: ["age@trueknowledge.com"]) I know that:
Fact 3:
46 years and 0 months old
is the age of
Cindy Crawford
Fact 3
is true at
February 14th 2012, 18:04:08
Fact 3:
46 years and 0 months old
is a
age
Fact 3:
46 years and 0 months old
applies to
Cindy Crawford
Fact 3
is true at
February 14th 2012, 18:04:08
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
101 years, 0 months and 8 days
is greater than
46 years and 0 months
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
101 years, 0 months and 8 days
is not less than
46 years and 0 months
101 years, 0 months and 8 days
is not the same as
46 years and 0 months
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
101 years, 0 months and 8 days old
is greater than
46 years and 0 months old
By calculation (generator: ["older_than@trueknowledge.com"]) I know that:
Fact 5:
Ronald Reagan
is older than
Cindy Crawford
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:
Cindy Crawford
is not older than
Ronald Reagan
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
February 14th 2012, 18:04:08