I know from locally stored knowledge that:
Fact 1:
Pearl Harbor
is a
transport stop
([fact: ["666978272@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:
transport stop
is a subclass of
geographical feature
([fact: ["132167628@trueknowledge.com"]])
transport stop
is a subclass of
local interest item
([fact: ["2282988614@trueknowledge.com"]])
inside job
is a subclass of
crime
([fact: ["137841285@trueknowledge.com"]])
depot
is a subclass of
transport stop
([fact: ["147993698@trueknowledge.com"]])
bus stop
is a subclass of
transport stop
([fact: ["2439269942@trueknowledge.com"]])
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
inside job
I know from locally stored knowledge that:
crime
is a subclass of
behavioral event
([fact: ["124043792@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
inside job
is a subclass of
behavioral event
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
crime
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
crime
is a subclass of
conceptual object
inside job
is a subclass of
conceptual object
crime
is a subclass of
object with a geographical location
inside job
is a subclass of
object with a geographical location
crime
is a subclass of
entity
inside job
is a subclass of
entity
I know from locally stored knowledge that:
behavioral event
is a subclass of
phenomenon
([fact: ["123895945@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
crime
is a subclass of
phenomenon
inside job
is a subclass of
phenomenon
I know from locally stored knowledge that:
behavioral event
is a subclass of
event
([fact: ["123909918@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
crime
is a subclass of
event
inside job
is a subclass of
event
crime
is a subclass of
timepoint, timeperiod or event
inside job
is a subclass of
timepoint, timeperiod or event
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
transport stop
is a distinct class from
inside job
I know from locally stored knowledge that:
permanent
applies to
transport stop
([fact: ["132167643@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
Pearl Harbor
is not a
inside job
By calculation (generator: ["distinct1@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
