By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 00:13:51
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:
Akihiko Hirata
is in the group
Akihiko Hirata and Yoshiko Kuga
Yoshiko Kuga
is in the group
Akihiko Hirata and Yoshiko Kuga
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Akihiko Hirata
is not strictly equal to
Yoshiko Kuga
I know from locally stored knowledge that:
December 16th 1927
is the birthdate of
Akihiko Hirata
([fact: ["2335129558@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
85 years, 5 months and 7 days old
is the age of
Akihiko Hirata
Fact 1
is true at
May 23rd 2013, 00:13:51
Fact 1:
85 years, 5 months and 7 days old
is a
age
Fact 1:
85 years, 5 months and 7 days old
applies to
Akihiko Hirata
Fact 1
is true at
May 23rd 2013, 00:13:51
I know from locally stored knowledge that:
January 21st 1931
is the birthdate of
Yoshiko Kuga
([fact: ["144909257@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
82 years, 4 months and 2 days old
is the age of
Yoshiko Kuga
Fact 1
is true at
May 23rd 2013, 00:13:51
Fact 1:
82 years, 4 months and 2 days old
is a
age
Fact 1:
82 years, 4 months and 2 days old
applies to
Yoshiko Kuga
Fact 1
is true at
May 23rd 2013, 00:13:51
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
85 years, 5 months and 7 days
is greater than
82 years, 4 months and 2 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
85 years, 5 months and 7 days
is not less than
82 years, 4 months and 2 days
85 years, 5 months and 7 days
is not the same as
82 years, 4 months and 2 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
85 years, 5 months and 7 days old
is greater than
82 years, 4 months and 2 days old
I know from locally stored knowledge that:
December 26th 1927
is the birthdate of
Akihiko Hirata
([fact: ["1031126674@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
85 years, 4 months and 27 days old
is the age of
Akihiko Hirata
Fact 1
is true at
May 23rd 2013, 00:13:51
Fact 1:
85 years, 4 months and 27 days old
is a
age
Fact 1:
85 years, 4 months and 27 days old
applies to
Akihiko Hirata
Fact 1
is true at
May 23rd 2013, 00:13:51
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
85 years, 4 months and 27 days
is greater than
82 years, 4 months and 2 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
85 years, 4 months and 27 days
is not less than
82 years, 4 months and 2 days
85 years, 4 months and 27 days
is not the same as
82 years, 4 months and 2 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
85 years, 4 months and 27 days old
is greater than
82 years, 4 months and 2 days old
I know from locally stored knowledge that:
1927
is the birthdate of
Akihiko Hirata
([fact: ["1031126642@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
between 85 years and 5 months and 86 years and 4 months old
is the age of
Akihiko Hirata
Fact 1
is true at
May 23rd 2013, 00:13:51
Fact 1:
between 85 years and 5 months and 86 years and 4 months old
is a
age
Fact 1:
between 85 years and 5 months and 86 years and 4 months old
applies to
Akihiko Hirata
Fact 1
is true at
May 23rd 2013, 00:13:51
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
between 85 years and 5 months and 86 years and 4 months
is greater than
82 years, 4 months and 2 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
between 85 years and 5 months and 86 years and 4 months
is not less than
82 years, 4 months and 2 days
between 85 years and 5 months and 86 years and 4 months
is not the same as
82 years, 4 months and 2 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
between 85 years and 5 months and 86 years and 4 months old
is greater than
82 years, 4 months and 2 days old
By calculation (generator: ["older_than@trueknowledge.com"]) I know that:
Fact 9:
Akihiko Hirata
is older than
Yoshiko Kuga
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 9
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 10:
Akihiko Hirata
is the maximal member by left comparison of
Akihiko Hirata and Yoshiko Kuga and is the age of
Fact 10
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 10
is true at
May 23rd 2013, 00:13:51
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Yoshiko Kuga
is not strictly equal to
Akihiko Hirata