By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 22nd 2013, 00:49:34
I know from locally stored knowledge that:
is older than
is a left comparison of
is the age of
([fact: ["1156782@trueknowledge.com"]])
By calculation (generator: ["in_group@trueknowledge.com"]) I know that:
Jack Nicholson
is in the group
Jack Nicholson and Sylvester Stallone
Sylvester Stallone
is in the group
Jack Nicholson and Sylvester Stallone
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Jack Nicholson
is not strictly equal to
Sylvester Stallone
I know from locally stored knowledge that:
April 21st 1937
is the birthdate of
Jack Nicholson
([fact: ["2236364410@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
76 years, 1 month and 1 day old
is the age of
Jack Nicholson
Fact 1
is true at
May 22nd 2013, 00:49:34
Fact 1:
76 years, 1 month and 1 day old
is a
age
Fact 1:
76 years, 1 month and 1 day old
applies to
Jack Nicholson
Fact 1
is true at
May 22nd 2013, 00:49:34
I know from locally stored knowledge that:
July 6th 1946
is the birthdate of
Sylvester Stallone
([fact: ["18502830@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
66 years, 10 months and 16 days old
is the age of
Sylvester Stallone
Fact 1
is true at
May 22nd 2013, 00:49:34
Fact 1:
66 years, 10 months and 16 days old
is a
age
Fact 1:
66 years, 10 months and 16 days old
applies to
Sylvester Stallone
Fact 1
is true at
May 22nd 2013, 00:49:34
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
76 years, 1 month and 1 day
is greater than
66 years, 10 months and 16 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
76 years, 1 month and 1 day
is not less than
66 years, 10 months and 16 days
76 years, 1 month and 1 day
is not the same as
66 years, 10 months and 16 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
76 years, 1 month and 1 day old
is greater than
66 years, 10 months and 16 days old
I know from locally stored knowledge that:
April 22nd 1937
is the birthdate of
Jack Nicholson
([fact: ["19265836@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
76 years, 1 month and 0 days old
is the age of
Jack Nicholson
Fact 1
is true at
May 22nd 2013, 00:49:34
Fact 1:
76 years, 1 month and 0 days old
is a
age
Fact 1:
76 years, 1 month and 0 days old
applies to
Jack Nicholson
Fact 1
is true at
May 22nd 2013, 00:49:34
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
76 years, 1 month and 0 days
is greater than
66 years, 10 months and 16 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
76 years, 1 month and 0 days
is not less than
66 years, 10 months and 16 days
76 years, 1 month and 0 days
is not the same as
66 years, 10 months and 16 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
76 years, 1 month and 0 days old
is greater than
66 years, 10 months and 16 days old
By calculation (generator: ["older_than@trueknowledge.com"]) I know that:
Fact 7:
Jack Nicholson
is older than
Sylvester Stallone
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 older than
([fact: ["1156406@trueknowledge.com"]])
By calculation (generator: ["maximal_member2@trueknowledge.com"]) I know that:
Fact 8:
Jack Nicholson
is the maximal member by left comparison of
Jack Nicholson and Sylvester Stallone and is the age of
Fact 8
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 8
is true at
May 22nd 2013, 00:49:34