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
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 18th 2013, 06:00:10
I know from locally stored knowledge that:
November 13th 1801
is the birthdate of
Elisabeth Ludovika of Bavaria
([fact: ["17811306@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
211 years, 7 months and 5 days old
is the age of
Elisabeth Ludovika of Bavaria
Fact 1
is true at
June 18th 2013, 06:00:10
Fact 1:
211 years, 7 months and 5 days old
is a
age
Fact 1:
211 years, 7 months and 5 days old
applies to
Elisabeth Ludovika of Bavaria
Fact 1
is true at
June 18th 2013, 06:00:10
I know from locally stored knowledge that:
October 15th 1795
is the birthdate of
Frederick William IV of Prussia
([fact: ["18439890@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
217 years, 8 months and 3 days old
is the age of
Frederick William IV of Prussia
Fact 1
is true at
June 18th 2013, 06:00:10
Fact 1:
217 years, 8 months and 3 days old
is a
age
Fact 1:
217 years, 8 months and 3 days old
applies to
Frederick William IV of Prussia
Fact 1
is true at
June 18th 2013, 06:00:10
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
217 years, 8 months and 3 days
is greater than
211 years, 7 months and 5 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
217 years, 8 months and 3 days
is not less than
211 years, 7 months and 5 days
217 years, 8 months and 3 days
is not the same as
211 years, 7 months and 5 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
217 years, 8 months and 3 days old
is greater than
211 years, 7 months and 5 days old
By calculation (generator: ["younger_than@trueknowledge.com"]) I know that:
Fact 5:
Elisabeth Ludovika of Bavaria
is younger than
Frederick William IV of Prussia
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:
Frederick William IV of Prussia
is not younger than
Elisabeth Ludovika of Bavaria
By calculation (generator: ["antisymmetric1@trueknowledge.com"]) I know that:
Fact 6
is true for
all time