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

The current time is July 24th 2014, 04:06:23

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:

August 25th 1930
is the birthdate of
Sean Connery
([fact: ["1147983@trueknowledge.com"]])

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

Fact 1:
83 years, 10 months and 29 days old
is the age of
Sean Connery

Fact 1
is true at
July 24th 2014, 04:06:23

Fact 1:
83 years, 10 months and 29 days old
is a
age

Fact 1:
83 years, 10 months and 29 days old
applies to
Sean Connery

Fact 1
is true at
July 24th 2014, 04:06:23

I know from locally stored knowledge that:

August 29th 1936
is the birthdate of
John McCain
([fact: ["18364353@trueknowledge.com"]])

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

Fact 1:
77 years, 10 months and 25 days old
is the age of
John McCain

Fact 1
is true at
July 24th 2014, 04:06:23

Fact 1:
77 years, 10 months and 25 days old
is a
age

Fact 1:
77 years, 10 months and 25 days old
applies to
John McCain

Fact 1
is true at
July 24th 2014, 04:06:23

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

83 years, 10 months and 29 days
is greater than
77 years, 10 months and 25 days

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

83 years, 10 months and 29 days
is not less than
77 years, 10 months and 25 days

83 years, 10 months and 29 days
is not the same as
77 years, 10 months and 25 days

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

83 years, 10 months and 29 days old
is greater than
77 years, 10 months and 25 days old

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

Fact 5:
Sean Connery
is older than
John McCain

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:
John McCain
is not older than
Sean Connery

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
July 24th 2014, 04:06:23