By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 15:52:03
I know from locally stored knowledge that:
Fact 1:
anthropology
is a
subject area
([fact: ["123921635@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:
subject area
is a subclass of
conceptual substance
([fact: ["124043082@trueknowledge.com"]])
subject area
is a subclass of
conceptual object
([fact: ["127584174@trueknowledge.com"]])
retail outlet
is a subclass of
local interest item
([fact: ["2282929638@trueknowledge.com"]])
retail outlet
is a subclass of
customer-facing business outlet
([fact: ["166343378@trueknowledge.com"]])
retail outlet
is a subclass of
shop or amenity
([fact: ["166345318@trueknowledge.com"]])
retail outlet
is a subclass of
single-site organisation
([fact: ["20037045@trueknowledge.com"]])
retail outlet
is a subclass of
retail trade business
([fact: ["19589101@trueknowledge.com"]])
retail outlet
is a subclass of
business
([fact: ["1179012678@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
subject area
is a distinct class from
retail outlet
I know from locally stored knowledge that:
permanent
applies to
subject area
([fact: ["123886275@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
anthropology
is not a
retail outlet
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, 15:52:03
Facts
Show facts
