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
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 23:48:12
I know from locally stored knowledge that:
November 19th 1600
is the birthdate of
Charles I of England
([fact: ["18337844@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
412 years, 7 months and 0 days old
is the age of
Charles I of England
Fact 1
is true at
June 19th 2013, 23:48:12
Fact 1:
412 years, 7 months and 0 days old
is a
age
Fact 1:
412 years, 7 months and 0 days old
applies to
Charles I of England
Fact 1
is true at
June 19th 2013, 23:48:12
I know from locally stored knowledge that:
November 15th 1609
is the birthdate of
Henrietta Maria of France
([fact: ["150625333@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
403 years, 7 months and 4 days old
is the age of
Henrietta Maria of France
Fact 1
is true at
June 19th 2013, 23:48:12
Fact 1:
403 years, 7 months and 4 days old
is a
age
Fact 1:
403 years, 7 months and 4 days old
applies to
Henrietta Maria of France
Fact 1
is true at
June 19th 2013, 23:48:12
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
412 years, 7 months and 0 days
is greater than
403 years, 7 months and 4 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
412 years, 7 months and 0 days
is not less than
403 years, 7 months and 4 days
412 years, 7 months and 0 days
is not the same as
403 years, 7 months and 4 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
412 years, 7 months and 0 days old
is greater than
403 years, 7 months and 4 days old
By calculation (generator: ["older_than@trueknowledge.com"]) I know that:
Fact 5:
Charles I of England
is older than
Henrietta Maria of France
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:
Henrietta Maria of France
is not older than
Charles I of England
By calculation (generator: ["antisymmetric1@trueknowledge.com"]) I know that:
Fact 6
is true for
all time
