By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 21st 2013, 14:19:29
I know from locally stored knowledge that:
is the manager of
is a more general form of
is the CEO of
([fact: ["124042047@trueknowledge.com"]])
left unique
applies to
is the manager of
([fact: ["105775750@trueknowledge.com"]])
left object has variable accuracy
not applies to
is the manager of
([fact: ["105775753@trueknowledge.com"]])
Fact 1:
Michael Dell
is the CEO of
Dell Inc.
([fact: ["128119700@trueknowledge.com"]])
Fact 1
is true for
September 20th 2011 onwards
([fact: ["2345478958@trueknowledge.com"]])
Fact 1
is true for
December 19th 2007 onwards
([fact: ["128119701@trueknowledge.com"]])
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2:
Michael Dell
is the manager of
Dell Inc.
Fact 2
is true for
September 20th 2011 onwards
Fact 2
is true for
December 19th 2007 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Michael Dell
is not strictly equal to
Bill Gates
Therefore (generator: ["leftunique2@trueknowledge.com"]):
Fact 3:
Bill Gates
is not the manager of
Dell Inc.
By calculation (generator: ["leftunique2@trueknowledge.com"]) I know that:
Fact 3
is true for
December 19th 2007 onwards
Fact 3
is true for
September 20th 2011 onwards
Therefore (generator: ["moregeneral2@trueknowledge.com"]):
Fact 4:
Bill Gates
is not the CEO of
Dell Inc.
By calculation (generator: ["moregeneral2@trueknowledge.com"]) I know that:
Fact 4
is true for
September 20th 2011 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 4
is true for all of timepoint
May 21st 2013, 14:19:29
By calculation (generator: ["moregeneral2@trueknowledge.com"]) I know that:
Fact 4
is true for
December 19th 2007 onwards
