By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 20th 2013, 00:59:26
I know from locally stored knowledge that:
Fact 1:
Abakan International Airport
is a
building or building complex
([fact: ["1074267558@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:
building or building complex
is a subclass of
geographical area
([fact: ["966772210@trueknowledge.com"]])
building or building complex
is a subclass of
physical object
([fact: ["1132320@trueknowledge.com"]])
building or building complex
is a subclass of
object with a geographical location
([fact: ["636808468@trueknowledge.com"]])
building or building complex
is a subclass of
geographical feature
([fact: ["20036905@trueknowledge.com"]])
building or building complex
is a subclass of
small scale single purpose area
([fact: ["20036904@trueknowledge.com"]])
building or building complex
is a subclass of
result of human ingenuity
([fact: ["2492721846@trueknowledge.com"]])
building or building complex
is a subclass of
multi-part manufactured item
([fact: ["123928795@trueknowledge.com"]])
building or building complex
is a subclass of
object with a height
([fact: ["636822196@trueknowledge.com"]])
building or building complex
is a subclass of
architectural structure
([fact: ["136210418@trueknowledge.com"]])
musical film
is a subclass of
musical film or play
([fact: ["1030028842@trueknowledge.com"]])
musical film
is a subclass of
film
([fact: ["793434408@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
building or building complex
is a distinct class from
musical film
I know from locally stored knowledge that:
permanent
applies to
building or building complex
([fact: ["1132318@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
Abakan International Airport
is not a
musical film
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
June 20th 2013, 00:59:26
