By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 03:06:05
I know from locally stored knowledge that:
Fact 1:
Tibet
is a
Autonomous Region of China
([fact: ["105703882@trueknowledge.com"]])
Fact 1
is true for
October 29th 2007, 00:00:00 onwards
([fact: ["105703883@trueknowledge.com"]])
Autonomous Region of China
is a subclass of
administrative area used within the People's Republic of China
([fact: ["20039739@trueknowledge.com"]])
Autonomous Region of China
is a subclass of
Province or Region of China
([fact: ["20066309@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
UN-recognised country
is strictly equal to
UN-recognised country
By calculation (generator: ["ppac1@trueknowledge.com"]) I know that:
independent UN-recognised country
is a subclass of
UN-recognised country
I know from locally stored knowledge that:
administrative area within a nation
is a distinct class from
UN-recognised country
([fact: ["1146287@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
Autonomous Region of China
is a distinct class from
independent UN-recognised country
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
Tibet
is not a
independent UN-recognised country
By calculation (generator: ["distinct1@trueknowledge.com"]) I know that:
Fact 2
is true for
October 29th 2007, 00:00:00 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 2
is true for all of timepoint
February 14th 2012, 03:06:05
Adding…
