By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 21st 2013, 13:43:00
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:
McDonald's
is in the group
McDonald's and Wendy's
Wendy's
is in the group
McDonald's and Wendy's
Therefore (generator: ["strictequal1@trueknowledge.com"]):
McDonald's
is not strictly equal to
Wendy's
I know from locally stored knowledge that:
is the date of creation of
is a more general form of
is the date of the founding of
([fact: ["19602062@trueknowledge.com"]])
permanent
applies to
is the date of creation of
([fact: ["1142750@trueknowledge.com"]])
May 15th 1940
is the date of the founding of
McDonald's
([fact: ["128218466@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
May 15th 1940
is the date of creation of
McDonald's
By calculation (generator: ["age@trueknowledge.com"]) I know that:
Fact 1:
73 years, 0 months and 6 days old
is the age of
McDonald's
Fact 1
is true at
May 21st 2013, 13:43:00
Fact 1:
73 years, 0 months and 6 days old
is a
age
Fact 1:
73 years, 0 months and 6 days old
applies to
McDonald's
Fact 1
is true at
May 21st 2013, 13:43:00
I know from locally stored knowledge that:
1961
is the date of the founding of
Wendy's
([fact: ["356221003@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
1961
is the date of creation of
Wendy's
By calculation (generator: ["age@trueknowledge.com"]) I know that:
Fact 1:
between 51 years and 5 months and 52 years and 4 months old
is the age of
Wendy's
Fact 1
is true at
May 21st 2013, 13:43:00
Fact 1:
between 51 years and 5 months and 52 years and 4 months old
is a
age
Fact 1:
between 51 years and 5 months and 52 years and 4 months old
applies to
Wendy's
Fact 1
is true at
May 21st 2013, 13:43:00
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
73 years, 0 months and 6 days
is greater than
between 51 years and 5 months and 52 years and 4 months
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
73 years, 0 months and 6 days
is not less than
between 51 years and 5 months and 52 years and 4 months
73 years, 0 months and 6 days
is not the same as
between 51 years and 5 months and 52 years and 4 months
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
73 years, 0 months and 6 days old
is greater than
between 51 years and 5 months and 52 years and 4 months old
By calculation (generator: ["older_than@trueknowledge.com"]) I know that:
Fact 5:
McDonald's
is older than
Wendy's
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"]])
By calculation (generator: ["maximal_member2@trueknowledge.com"]) I know that:
Fact 6:
McDonald's
is the maximal member by left comparison of
McDonald's and Wendy's and is the age of
Fact 6
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
May 21st 2013, 13:43:00
