By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 19:41:49
I know from locally stored knowledge that:
Fact 1:
Oświęcim
is a
settlement
([fact: ["70338309@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:
settlement
is a subclass of
geographical area
([fact: ["1142780@trueknowledge.com"]])
settlement
is a subclass of
populated place
([fact: ["127582633@trueknowledge.com"]])
settlement
is a subclass of
object with a width
([fact: ["600243588@trueknowledge.com"]])
museum
is a subclass of
local interest item
([fact: ["2171025126@trueknowledge.com"]])
museum
is a subclass of
customer-facing business
([fact: ["2079577926@trueknowledge.com"]])
museum
is a subclass of
workplace
([fact: ["123924432@trueknowledge.com"]])
museum
is a subclass of
culture-related organisation
([fact: ["119061556@trueknowledge.com"]])
museum
is a subclass of
arts, entertainment or recreation venue
([fact: ["2077348806@trueknowledge.com"]])
museum
is a subclass of
tourist attraction
([fact: ["20029978@trueknowledge.com"]])
museum
is a subclass of
building or building complex
([fact: ["20029977@trueknowledge.com"]])
museum
is a subclass of
human being, organisation or other legal person
([fact: ["643617096@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
settlement
is a distinct class from
museum
I know from locally stored knowledge that:
permanent
applies to
settlement
([fact: ["1142786@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
Oświęcim
is not a
museum
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 23rd 2013, 19:41:49
