By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 20th 2013, 20:21:58
I know from locally stored knowledge that:
Fact 1:
Palo Alto, California
is the headquarters of
Sharpcast
([fact: ["236545567@trueknowledge.com"]])
Fact 1
is true for
April 23rd 2010 onwards
([fact: ["753469908@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 20th 2013, 20:21:58
I know from locally stored knowledge that:
Palo Alto, California
is a
geographical area
([fact: ["159842205@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
geographical area
is not strictly equal to
unspecified member
I know from locally stored knowledge that:
Fact 2:
San Mateo, California
is the headquarters of
Sharpcast
([fact: ["236545575@trueknowledge.com"]])
Fact 2
is true for
April 23rd 2010 onwards
([fact: ["753469912@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 20th 2013, 20:21:58
I know from locally stored knowledge that:
San Mateo, California
is a
geographical area
([fact: ["159847409@trueknowledge.com"]])
Fact 3:
Sharpcast
is in
the United States
([fact: ["138011874@trueknowledge.com"]])
Fact 3
is true for
May 24th 2008 onwards
([fact: ["138011876@trueknowledge.com"]])
By calculation (generator: ["headquarters@trueknowledge.com"]) I know that:
Fact 4:
the United States
is the headquarters of
Sharpcast
Fact 4
is true for
May 24th 2008 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
May 20th 2013, 20:21:58
I know from locally stored knowledge that:
the United States
is a
geographical area
([fact: ["136002954@trueknowledge.com"]])
