By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 23:02:36
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"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
ocean
is strictly equal to
ocean
By calculation (generator: ["same_as_or_subclass_of@trueknowledge.com"]) I know that:
ocean
is the same as or a subclass of
ocean
I know from locally stored knowledge that:
class is complete
applies to
missing object class
([fact: ["646893828@trueknowledge.com"]])
Therefore (generator: ["classiscomplete2@trueknowledge.com"]):
ocean
is not a
missing object class
By calculation (generator: ["moc3@trueknowledge.com"]) I know that:
ocean that is in the world
is a subclass of
ocean
I know from locally stored knowledge that:
Fact 1:
the Pacific Ocean
is the result of the position class and ordering
first, ocean and [reverse ordering by left relation: [is the depth of]]
([fact: ["234473230@trueknowledge.com"]])
Fact 1
is true for
March 12th 2009, 00:00:00 onwards
([fact: ["234473234@trueknowledge.com"]])
Fact 2:
the Pacific Ocean
is in
the world
([fact: ["105705329@trueknowledge.com"]])
Fact 2
is true for
the earliest time when the fact can make sense onwards
([fact: ["105705330@trueknowledge.com"]])
Fact 3:
the Pacific Ocean
is a
ocean
([fact: ["16633260@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 3
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
ocean
([fact: ["15623684@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
the beginning of time onwards
is the timeperiod intersection of
the earliest time when the fact can make sense onwards and all time
By calculation (generator: ["moc4@trueknowledge.com"]) I know that:
Fact 4:
the Pacific Ocean
is a
ocean that is in the world
Fact 4
is true for
the beginning of time onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
March 12th 2009, 00:00:00 onwards
is the timeperiod intersection of
March 12th 2009, 00:00:00 onwards and the beginning of time onwards
By calculation (generator: ["result_position_class_and_ordering@trueknowledge.com"]) I know that:
Fact 5:
the Pacific Ocean
is the result of the position class and ordering
first, ocean that is in the world and [reverse ordering by left relation: [is the depth of]]
Fact 5
is true for
March 12th 2009, 00:00:00 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
the Pacific Ocean
is not strictly equal to
the Atlantic Ocean
Therefore (generator: ["leftunique2@trueknowledge.com"]):
Fact 6:
the Atlantic Ocean
is not the result of the position class and ordering
first, ocean that is in the world and [reverse ordering by left relation: [is the depth of]]
By calculation (generator: ["leftunique2@trueknowledge.com"]) I know that:
Fact 6
is true for
March 12th 2009, 00:00:00 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 6
is true for all of timepoint
February 14th 2012, 23:02:36
Adding…
