By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 09:51:51
I know from locally stored knowledge that:
Fact 1:
San Francisco, California
is the headquarters of
T. Y. Lin International
([fact: ["367187211@trueknowledge.com"]])
Fact 1
is true for
April 23rd 2010 onwards
([fact: ["754069268@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
June 19th 2013, 09:51:51
I know from locally stored knowledge that:
San Francisco, California
is a
geographical area
([fact: ["160834053@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:
T. Y. Lin International
is in
California
([fact: ["367187223@trueknowledge.com"]])
Fact 2
is true for
April 23rd 2010 onwards
([fact: ["754069336@trueknowledge.com"]])
Fact 2
is true for
February 10th 2008 onwards
([fact: ["367187231@trueknowledge.com"]])
By calculation (generator: ["headquarters@trueknowledge.com"]) I know that:
Fact 3:
California
is the headquarters of
T. Y. Lin International
Fact 3
is true for
April 23rd 2010 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
June 19th 2013, 09:51:51
By calculation (generator: ["headquarters@trueknowledge.com"]) I know that:
Fact 3
is true for
February 10th 2008 onwards
I know from locally stored knowledge that:
California
is a
geographical area
([fact: ["156174877@trueknowledge.com"]])
