By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 03:55:07
I know from locally stored knowledge that:
Fact 1:
DreamWorks
is a distributor of
A Beautiful Mind
([fact: ["358464955@trueknowledge.com"]])
Fact 1
is true for
August 2nd 2011 onwards
([fact: ["2316294318@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
June 19th 2013, 03:55:07
I know from locally stored knowledge that:
DreamWorks
is a
organisation
([fact: ["421851559@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
organisation
is not strictly equal to
unspecified member
I know from locally stored knowledge that:
Fact 2:
Universal Studios
is a distributor of
A Beautiful Mind
([fact: ["434149196@trueknowledge.com"]])
Fact 2
is true for
March 5th 2010 onwards
([fact: ["695818080@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
June 19th 2013, 03:55:07
I know from locally stored knowledge that:
Universal Studios
is a
geographical area
([fact: ["1755344222@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
geographical area
is not strictly equal to
unspecified member
