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 August 22nd 2014, 05:55:35

I know from locally stored knowledge that:

October 14th 1630
is the birthdate of
Sophia of Hanover
([fact: ["18390515@trueknowledge.com"]])

By calculation (generator: ["human_age@trueknowledge.com"]) I know that:

Fact 1:
383 years, 10 months and 8 days old
is the age of
Sophia of Hanover

Fact 1
is true at
August 22nd 2014, 05:55:35

Fact 1:
383 years, 10 months and 8 days old
is a
age

Fact 1:
383 years, 10 months and 8 days old
applies to
Sophia of Hanover

Fact 1
is true at
August 22nd 2014, 05:55:35

I know from locally stored knowledge that:

1629
is the birthdate of
Ernest Augustus
([fact: ["18928728@trueknowledge.com"]])

By calculation (generator: ["human_age@trueknowledge.com"]) I know that:

Fact 1:
between 384 years and 8 months and 385 years and 7 months old
is the age of
Ernest Augustus

Fact 1
is true at
August 22nd 2014, 05:55:35

Fact 1:
between 384 years and 8 months and 385 years and 7 months old
is a
age

Fact 1:
between 384 years and 8 months and 385 years and 7 months old
applies to
Ernest Augustus

Fact 1
is true at
August 22nd 2014, 05:55:35

By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:

between 384 years and 8 months and 385 years and 7 months
is greater than
383 years, 10 months and 8 days

Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):

between 384 years and 8 months and 385 years and 7 months
is not less than
383 years, 10 months and 8 days

between 384 years and 8 months and 385 years and 7 months
is not the same as
383 years, 10 months and 8 days

By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:

between 384 years and 8 months and 385 years and 7 months old
is greater than
383 years, 10 months and 8 days old

I know from locally stored knowledge that:

November 20th 1629
is the birthdate of
Ernest Augustus
([fact: ["2241529346@trueknowledge.com"]])

By calculation (generator: ["human_age@trueknowledge.com"]) I know that:

Fact 1:
384 years, 9 months and 2 days old
is the age of
Ernest Augustus

Fact 1
is true at
August 22nd 2014, 05:55:35

Fact 1:
384 years, 9 months and 2 days old
is a
age

Fact 1:
384 years, 9 months and 2 days old
applies to
Ernest Augustus

Fact 1
is true at
August 22nd 2014, 05:55:35

By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:

384 years, 9 months and 2 days
is greater than
383 years, 10 months and 8 days

Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):

384 years, 9 months and 2 days
is not less than
383 years, 10 months and 8 days

384 years, 9 months and 2 days
is not the same as
383 years, 10 months and 8 days

By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:

384 years, 9 months and 2 days old
is greater than
383 years, 10 months and 8 days old

By calculation (generator: ["younger_than@trueknowledge.com"]) I know that:

Fact 7:
Sophia of Hanover
is younger than
Ernest Augustus

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:
Ernest Augustus
is not younger than
Sophia of Hanover

By calculation (generator: ["antisymmetric1@trueknowledge.com"]) I know that:

Fact 8
is true for
all time