By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 03:28:24
I know from locally stored knowledge that:
Fact 1:
Bogashevo Airport
is a
airport
([fact: ["136548004@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
building or building complex
([fact: ["20036909@trueknowledge.com"]])
airport
is a subclass of
small scale single purpose area
([fact: ["7085182@trueknowledge.com"]])
airport
is a subclass of
depot
([fact: ["124103762@trueknowledge.com"]])
airport
is a subclass of
workplace
([fact: ["123924436@trueknowledge.com"]])
airport
is a subclass of
tourism related business
([fact: ["2077230838@trueknowledge.com"]])
airport
is a subclass of
customer-facing business
([fact: ["2079604382@trueknowledge.com"]])
airport
is a subclass of
local interest item
([fact: ["2171024934@trueknowledge.com"]])
drum
is a subclass of
device
([fact: ["359300459@trueknowledge.com"]])
drum
is a subclass of
percussion instrument
([fact: ["148113038@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"]])
bodhran
is a subclass of
drum
([fact: ["148113070@trueknowledge.com"]])
snare drum
is a subclass of
drum
([fact: ["148141850@trueknowledge.com"]])
timpani
is a subclass of
drum
([fact: ["148153334@trueknowledge.com"]])
Tabla
is a subclass of
drum
([fact: ["148153382@trueknowledge.com"]])
Dhol
is a subclass of
drum
([fact: ["148153398@trueknowledge.com"]])
Ashiko
is a subclass of
drum
([fact: ["148153410@trueknowledge.com"]])
daf
is a subclass of
drum
([fact: ["148153466@trueknowledge.com"]])
pandeiro
is a subclass of
drum
([fact: ["148153658@trueknowledge.com"]])
thavil
is a subclass of
drum
([fact: ["148153682@trueknowledge.com"]])
davul
is a subclass of
drum
([fact: ["148153690@trueknowledge.com"]])
Dayereh
is a subclass of
drum
([fact: ["148153814@trueknowledge.com"]])
Dabakan
is a subclass of
drum
([fact: ["148167822@trueknowledge.com"]])
Dhimay
is a subclass of
drum
([fact: ["148167890@trueknowledge.com"]])
naqareh
is a subclass of
drum
([fact: ["148167910@trueknowledge.com"]])
Kus
is a subclass of
drum
([fact: ["148167998@trueknowledge.com"]])
Bubon
is a subclass of
drum
([fact: ["148168038@trueknowledge.com"]])
Buhay
is a subclass of
drum
([fact: ["148168046@trueknowledge.com"]])
Kpanlogo
is a subclass of
drum
([fact: ["148168062@trueknowledge.com"]])
Lytavry
is a subclass of
drum
([fact: ["148170357@trueknowledge.com"]])
Urumee
is a subclass of
drum
([fact: ["148170429@trueknowledge.com"]])
udukai
is a subclass of
drum
([fact: ["148170437@trueknowledge.com"]])
Nagara
is a subclass of
drum
([fact: ["148170449@trueknowledge.com"]])
Taraban
is a subclass of
drum
([fact: ["148170457@trueknowledge.com"]])
Hand drum
is a subclass of
drum
([fact: ["234468466@trueknowledge.com"]])
djembe
is a subclass of
drum
([fact: ["234482235@trueknowledge.com"]])
conga
is a subclass of
drum
([fact: ["234483071@trueknowledge.com"]])
goblet drum
is a subclass of
drum
([fact: ["234483235@trueknowledge.com"]])
bass drum
is a subclass of
drum
([fact: ["237038771@trueknowledge.com"]])
tonbak
is a subclass of
drum
([fact: ["764030272@trueknowledge.com"]])
timbales
is a subclass of
drum
([fact: ["1060769462@trueknowledge.com"]])
Surdo
is a subclass of
drum
([fact: ["3166225686@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
airport
is a distinct class from
drum
I know from locally stored knowledge that:
permanent
applies to
airport
([fact: ["7085184@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
Bogashevo Airport
is not a
drum
By calculation (generator: ["distinct1@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 23rd 2013, 03:28:24
Facts
Show facts
