By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 18th 2013, 10:41:49
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:
is the date of creation of
is a more general form of
is the date of building of
([fact: ["130443198@trueknowledge.com"]])
permanent
applies to
is the date of creation of
([fact: ["1142750@trueknowledge.com"]])
1836
is the date of building of
Palace of Westminster
([fact: ["398609051@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
1836
is the date of creation of
Palace of Westminster
By calculation (generator: ["age@trueknowledge.com"]) I know that:
Fact 1:
between 176 years and 5 months and 177 years and 4 months old
is the age of
Palace of Westminster
Fact 1
is true at
May 18th 2013, 10:41:49
Fact 1:
between 176 years and 5 months and 177 years and 4 months old
is a
age
Fact 1:
between 176 years and 5 months and 177 years and 4 months old
applies to
Palace of Westminster
Fact 1
is true at
May 18th 2013, 10:41:49
I know from locally stored knowledge that:
March 31st 1889
is the date of creation of
the Eiffel Tower
([fact: ["1156393@trueknowledge.com"]])
By calculation (generator: ["age@trueknowledge.com"]) I know that:
Fact 1:
124 years, 1 month and 17 days old
is the age of
the Eiffel Tower
Fact 1
is true at
May 18th 2013, 10:41:49
Fact 1:
124 years, 1 month and 17 days old
is a
age
Fact 1:
124 years, 1 month and 17 days old
applies to
the Eiffel Tower
Fact 1
is true at
May 18th 2013, 10:41:49
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
between 176 years and 5 months and 177 years and 4 months
is greater than
124 years, 1 month and 17 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
between 176 years and 5 months and 177 years and 4 months
is not less than
124 years, 1 month and 17 days
between 176 years and 5 months and 177 years and 4 months
is not the same as
124 years, 1 month and 17 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
between 176 years and 5 months and 177 years and 4 months old
is greater than
124 years, 1 month and 17 days old
I know from locally stored knowledge that:
1840
is the date of building of
Palace of Westminster
([fact: ["1184916534@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
1840
is the date of creation of
Palace of Westminster
By calculation (generator: ["age@trueknowledge.com"]) I know that:
Fact 1:
between 172 years and 5 months and 173 years and 4 months old
is the age of
Palace of Westminster
Fact 1
is true at
May 18th 2013, 10:41:49
Fact 1:
between 172 years and 5 months and 173 years and 4 months old
is a
age
Fact 1:
between 172 years and 5 months and 173 years and 4 months old
applies to
Palace of Westminster
Fact 1
is true at
May 18th 2013, 10:41:49
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
between 172 years and 5 months and 173 years and 4 months
is greater than
124 years, 1 month and 17 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
between 172 years and 5 months and 173 years and 4 months
is not less than
124 years, 1 month and 17 days
between 172 years and 5 months and 173 years and 4 months
is not the same as
124 years, 1 month and 17 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
between 172 years and 5 months and 173 years and 4 months old
is greater than
124 years, 1 month and 17 days old
By calculation (generator: ["older_than@trueknowledge.com"]) I know that:
Fact 7:
Palace of Westminster
is older than
the Eiffel Tower
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"]])
Therefore (generator: ["antisymmetric1@trueknowledge.com"]):
Fact 8:
the Eiffel Tower
is not older than
Palace of Westminster
By calculation (generator: ["antisymmetric1@trueknowledge.com"]) I know that:
Fact 8
is true for
all time
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 8
is true for all of timepoint
May 18th 2013, 10:41:49
Facts
Show facts
