By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 01:56:37
I know from locally stored knowledge that:
left unique
applies to
is the result of the position class and ordering
([fact: ["135347809@trueknowledge.com"]])
left object has variable accuracy
not applies to
is the result of the position class and ordering
([fact: ["135347817@trueknowledge.com"]])
volcano
is a subclass of
mountain
([fact: ["136344422@trueknowledge.com"]])
By calculation (generator: ["same_as_or_subclass@trueknowledge.com"]) I know that:
volcano
is the same as or a subclass of
mountain
I know from locally stored knowledge that:
class is complete
applies to
missing object class
([fact: ["646893828@trueknowledge.com"]])
Therefore (generator: ["classiscomplete2@trueknowledge.com"]):
volcano
is not a
missing object class
By calculation (generator: ["moc3@trueknowledge.com"]) I know that:
volcano that is in the world
is a subclass of
mountain
I know from locally stored knowledge that:
Fact 1:
Mauna Kea
is the result of the position class and ordering
first, mountain and [reverse ordering by left relation: [is the height of]]
([fact: ["192052330@trueknowledge.com"]])
Fact 1
is true for
February 20th 2009, 00:00:00 onwards
([fact: ["192052370@trueknowledge.com"]])
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Mauna Kea
I know from locally stored knowledge that:
Fact 2:
Mauna Kea
is in
Hawaii
([fact: ["148061381@trueknowledge.com"]])
Fact 2
is true for
January 13th 2009 onwards
([fact: ["700850324@trueknowledge.com"]])
Fact 3:
Hawaii
is in
the world
([fact: ["664218584@trueknowledge.com"]])
Fact 3
is true for
January 25th 2010, 15:45:32 onwards
([fact: ["664218600@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 25th 2010, 15:45:32 onwards
is the timeperiod intersection of
January 13th 2009 onwards and January 25th 2010, 15:45:32 onwards
By calculation (generator: ["geographically_located_within4@trueknowledge.com"]) I know that:
Fact 4:
Mauna Kea
is in
the world
Fact 4
is true for
January 25th 2010, 15:45:32 onwards
I know from locally stored knowledge that:
Fact 5:
Mauna Kea
is a
volcano
([fact: ["136145528@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 5
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
volcano
([fact: ["123902808@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 25th 2010, 15:45:32 onwards
is the timeperiod intersection of
January 25th 2010, 15:45:32 onwards and all time
By calculation (generator: ["moc4@trueknowledge.com"]) I know that:
Fact 6:
Mauna Kea
is a
volcano that is in the world
Fact 6
is true for
January 25th 2010, 15:45:32 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 25th 2010, 15:45:32 onwards
is the timeperiod intersection of
February 20th 2009, 00:00:00 onwards and January 25th 2010, 15:45:32 onwards
By calculation (generator: ["result_position_class_and_ordering@trueknowledge.com"]) I know that:
Fact 7:
Mauna Kea
is the result of the position class and ordering
first, volcano that is in the world and [reverse ordering by left relation: [is the height of]]
Fact 7
is true for
January 25th 2010, 15:45:32 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Mauna Kea
is not strictly equal to
Mauna Loa
Therefore (generator: ["leftunique2@trueknowledge.com"]):
Fact 8:
Mauna Loa
is not the result of the position class and ordering
first, volcano that is in the world and [reverse ordering by left relation: [is the height of]]
By calculation (generator: ["leftunique2@trueknowledge.com"]) I know that:
Fact 8
is true for
January 25th 2010, 15:45:32 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 8
is true for all of timepoint
May 23rd 2013, 01:56:37
