By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 03:18:35
I know from locally stored knowledge that:
Fact 1:
Scotland
is a
country
([fact: ["15624050@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:
independent
is a more specific attribute than
autonomous
([fact: ["301368338@trueknowledge.com"]])
Fact 2:
Scotland
is a
sovereign state
([fact: ["149668830@trueknowledge.com"]])
Fact 2
is true for
843 AD - 1707
([fact: ["149668834@trueknowledge.com"]])
independent
is true of every
sovereign state
([fact: ["123930565@trueknowledge.com"]])
By calculation (generator: ["trueofevery2@trueknowledge.com"]) I know that:
Fact 3:
independent
applies to
Scotland
Fact 3
is true for
843 AD - 1707
By calculation (generator: ["implies1@trueknowledge.com"]) I know that:
Fact 4:
autonomous
applies to
Scotland
Fact 4
is true for
843 AD - 1707
I know from locally stored knowledge that:
permanent
applies to
country
([fact: ["15624045@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
843 AD - 1707
is the timeperiod intersection of
all time and 843 AD - 1707
By calculation (generator: ["instance2@trueknowledge.com"]) I know that:
Fact 5:
Scotland
is a
autonomous country
Fact 5
is true for
843 AD - 1707
By calculation (generator: ["negativetime1@trueknowledge.com"]) I know that:
Fact 5
is not true at
February 14th 2012, 03:18:35
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
autonomous
is strictly equal to
autonomous
By calculation (generator: ["ppac2@trueknowledge.com"]) I know that:
autonomous
is true of every
autonomous country
I know from locally stored knowledge that:
Fact 6:
autonomous
not applies to
Scotland
([fact: ["697339836@trueknowledge.com"]])
Fact 6
is true for
March 10th 2010, 00:00:00 onwards
([fact: ["697339848@trueknowledge.com"]])
Therefore (generator: ["trueofeverynotinstance@trueknowledge.com"]):
Fact 7:
Scotland
is not a
autonomous country
By calculation (generator: ["trueofeverynotinstance@trueknowledge.com"]) I know that:
Fact 7
is true for
March 10th 2010, 00:00:00 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 7
is true for all of timepoint
February 14th 2012, 03:18:35
Adding…
