By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 13th 2012, 07:15:45
I know from locally stored knowledge that:
Fact 1:
Mount Kilimanjaro
is a
summit
([fact: ["367960387@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
summit
is a subclass of
object with a height
([fact: ["129903800@trueknowledge.com"]])
summit
is a subclass of
geological formation
([fact: ["123902789@trueknowledge.com"]])
summit
is a subclass of
landscape feature
([fact: ["104806887@trueknowledge.com"]])
summit
is a subclass of
geographical feature
([fact: ["1161549@trueknowledge.com"]])
sovereign state
is a subclass of
governed area
([fact: ["238811170@trueknowledge.com"]])
sovereign state
is a subclass of
object with an area
([fact: ["366864475@trueknowledge.com"]])
sovereign state
is a subclass of
entity that is capable of deliberate action
([fact: ["123900078@trueknowledge.com"]])
sovereign state
is a subclass of
country
([fact: ["15624044@trueknowledge.com"]])
sovereign state
is a subclass of
state
([fact: ["15623986@trueknowledge.com"]])
sovereign state
is a subclass of
human being, organisation or other legal person
([fact: ["124046231@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
summit
is a distinct class from
sovereign state
I know from locally stored knowledge that:
permanent
applies to
summit
([fact: ["1161557@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
Mount Kilimanjaro
is not a
sovereign state
By calculation (generator: ["distinct1@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 2
is true for all of timepoint
February 13th 2012, 07:15:45
Adding…
