By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 19th 2013, 22:52:40
I know from locally stored knowledge that:
Fact 1:
Teresina Airport
is a
airport
([fact: ["683085160@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:
airport
is a subclass of
local interest item
([fact: ["2171024934@trueknowledge.com"]])
airport
is a subclass of
customer-facing business
([fact: ["2079604382@trueknowledge.com"]])
airport
is a subclass of
tourism related business
([fact: ["2077230838@trueknowledge.com"]])
airport
is a subclass of
workplace
([fact: ["123924436@trueknowledge.com"]])
airport
is a subclass of
depot
([fact: ["124103762@trueknowledge.com"]])
airport
is a subclass of
small scale single purpose area
([fact: ["7085182@trueknowledge.com"]])
airport
is a subclass of
building or building complex
([fact: ["20036909@trueknowledge.com"]])
portion
is a subclass of
manufactured consumable item
([fact: ["123918826@trueknowledge.com"]])
heliport
is a subclass of
airport
([fact: ["15404973@trueknowledge.com"]])
international airport
is a subclass of
airport
([fact: ["15420774@trueknowledge.com"]])
domestic airport
is a subclass of
airport
([fact: ["105770131@trueknowledge.com"]])
airfield
is a subclass of
airport
([fact: ["129902164@trueknowledge.com"]])
airport terminal
is a subclass of
airport
([fact: ["130558806@trueknowledge.com"]])
airline hub
is a subclass of
airport
([fact: ["350480679@trueknowledge.com"]])
military airbase
is a subclass of
airport
([fact: ["997215150@trueknowledge.com"]])
drink
is a subclass of
portion
([fact: ["123918842@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
airport
is a distinct class from
portion
I know from locally stored knowledge that:
permanent
applies to
airport
([fact: ["7085184@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
Teresina Airport
is not a
portion
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
May 19th 2013, 22:52:40
Facts
Show facts
