By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 07:01:53
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:
Johan Vestly
is in the group
Johan Vestly and Anne-Catharina Vestly
Anne-Catharina Vestly
is in the group
Johan Vestly and Anne-Catharina Vestly
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Anne-Catharina Vestly
is not strictly equal to
Johan Vestly
I know from locally stored knowledge that:
February 15th 1920
is the birthdate of
Anne-Catharina Vestly
([fact: ["18537893@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
93 years, 4 months and 4 days old
is the age of
Anne-Catharina Vestly
Fact 1
is true at
June 19th 2013, 07:01:53
Fact 1:
93 years, 4 months and 4 days old
is a
age
Fact 1:
93 years, 4 months and 4 days old
applies to
Anne-Catharina Vestly
Fact 1
is true at
June 19th 2013, 07:01:53
I know from locally stored knowledge that:
1923
is the birthdate of
Johan Vestly
([fact: ["1029679210@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
between 89 years and 6 months and 90 years and 5 months old
is the age of
Johan Vestly
Fact 1
is true at
June 19th 2013, 07:01:53
Fact 1:
between 89 years and 6 months and 90 years and 5 months old
is a
age
Fact 1:
between 89 years and 6 months and 90 years and 5 months old
applies to
Johan Vestly
Fact 1
is true at
June 19th 2013, 07:01:53
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
93 years, 4 months and 4 days
is greater than
between 89 years and 6 months and 90 years and 5 months
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
93 years, 4 months and 4 days
is not less than
between 89 years and 6 months and 90 years and 5 months
93 years, 4 months and 4 days
is not the same as
between 89 years and 6 months and 90 years and 5 months
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
93 years, 4 months and 4 days old
is greater than
between 89 years and 6 months and 90 years and 5 months old
I know from locally stored knowledge that:
November 24th 1923
is the birthdate of
Johan Vestly
([fact: ["1029679222@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 1:
89 years, 6 months and 26 days old
is the age of
Johan Vestly
Fact 1
is true at
June 19th 2013, 07:01:53
Fact 1:
89 years, 6 months and 26 days old
is a
age
Fact 1:
89 years, 6 months and 26 days old
applies to
Johan Vestly
Fact 1
is true at
June 19th 2013, 07:01:53
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
93 years, 4 months and 4 days
is greater than
89 years, 6 months and 26 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
93 years, 4 months and 4 days
is not less than
89 years, 6 months and 26 days
93 years, 4 months and 4 days
is not the same as
89 years, 6 months and 26 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
93 years, 4 months and 4 days old
is greater than
89 years, 6 months and 26 days old
By calculation (generator: ["older_than@trueknowledge.com"]) I know that:
Fact 7:
Anne-Catharina Vestly
is older than
Johan Vestly
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:
Anne-Catharina Vestly
is the maximal member by left comparison of
Johan Vestly and Anne-Catharina Vestly 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
June 19th 2013, 07:01:53
Facts
Show facts
