By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 20:04:09
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
river
is strictly equal to
river
By calculation (generator: ["same_as_or_subclass_of@trueknowledge.com"]) I know that:
river
is the same as or a subclass of
river
I know from locally stored knowledge that:
class is complete
applies to
missing object class
([fact: ["646893828@trueknowledge.com"]])
Therefore (generator: ["classiscomplete2@trueknowledge.com"]):
river
is not a
missing object class
By calculation (generator: ["moc3@trueknowledge.com"]) I know that:
river that is in the world
is a subclass of
river
I know from locally stored knowledge that:
Fact 1:
The River Nile
is the result of the position class and ordering
first, river and [reverse ordering by left relation: [is the length of]]
([fact: ["135614936@trueknowledge.com"]])
Fact 1
is true for
September 3rd 2008, 00:00:00 onwards
([fact: ["135614937@trueknowledge.com"]])
Fact 1
is true for
the earliest time when the fact can make sense onwards
([fact: ["1996808026@trueknowledge.com"]])
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
The River Nile
I know from locally stored knowledge that:
Fact 2:
The River Nile
is in
Africa
([fact: ["124041420@trueknowledge.com"]])
Fact 2
is true for
the earliest time when the fact can make sense onwards
([fact: ["124041421@trueknowledge.com"]])
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Africa
I know from locally stored knowledge that:
Fact 3:
Africa
is in
Africa-Eurasia
([fact: ["1158341@trueknowledge.com"]])
Fact 3
is true for
the earliest time when the fact can make sense onwards
([fact: ["1158342@trueknowledge.com"]])
Fact 4:
Africa-Eurasia
is in
the world
([fact: ["1158339@trueknowledge.com"]])
Fact 4
is true for
the earliest time when the fact can make sense onwards
([fact: ["1158340@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 the earliest time when the fact can make sense onwards
By calculation (generator: ["geographically_located_within4@trueknowledge.com"]) I know that:
Fact 5:
Africa
is in
the world
Fact 5
is true for
the beginning of time onwards
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 the beginning of time onwards
By calculation (generator: ["geographically_located_within4@trueknowledge.com"]) I know that:
Fact 5:
The River Nile
is in
the world
Fact 5
is true for
the beginning of time onwards
I know from locally stored knowledge that:
Fact 7:
The River Nile
is a
river
([fact: ["124041413@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 7
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
river
([fact: ["1152598@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
the beginning of time onwards
is the timeperiod intersection of
the beginning of time onwards and all time
By calculation (generator: ["moc4@trueknowledge.com"]) I know that:
Fact 8:
The River Nile
is a
river that is in the world
Fact 8
is true for
the beginning of time onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 3rd 2008, 00:00:00 onwards
is the timeperiod intersection of
September 3rd 2008, 00:00:00 onwards and the beginning of time onwards
By calculation (generator: ["result_position_class_and_ordering@trueknowledge.com"]) I know that:
Fact 9:
The River Nile
is the result of the position class and ordering
first, river that is in the world and [reverse ordering by left relation: [is the length of]]
Fact 9
is true for
September 3rd 2008, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 9
is true at
June 19th 2013, 20:04:09
By calculation (generator: ["result_position_class_and_ordering@trueknowledge.com"]) I know that:
Fact 9
is true for
the beginning of time onwards
