By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 20th 2013, 00:33:59
I know from locally stored knowledge that:
Fact 1:
V2 Records
is the record label of
Dave Matthews Band
([fact: ["150927861@trueknowledge.com"]])
Fact 1
is true for
December 8th 2010 onwards
([fact: ["1054736778@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 20th 2013, 00:33:59
I know from locally stored knowledge that:
V2 Records
is a
organisation
([fact: ["425214572@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
organisation
is not strictly equal to
unspecified member
I know from locally stored knowledge that:
Fact 2:
RCA Records
is the record label of
Dave Matthews Band
([fact: ["150981293@trueknowledge.com"]])
Fact 2
is true for
January 13th 2009 onwards
([fact: ["710477192@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 20th 2013, 00:33:59
I know from locally stored knowledge that:
RCA Records
is a
organisation
([fact: ["389503123@trueknowledge.com"]])
