By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 16:55:59
I know from locally stored knowledge that:
Fact 1:
General Electric
is in
the United States
([fact: ["679307400@trueknowledge.com"]])
Fact 1
is true for
March 19th 2010 onwards
([fact: ["701284332@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 23rd 2013, 16:55:59
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
the United States
([fact: ["363496263@trueknowledge.com"]])
Fact 2:
General Electric
is in
Connecticut
([fact: ["647899748@trueknowledge.com"]])
Fact 2
is true for
January 13th 2009 onwards
([fact: ["647899752@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 23rd 2013, 16:55:59
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
Connecticut
([fact: ["363497055@trueknowledge.com"]])
Fact 3:
General Electric
is in
Pennsylvania
([fact: ["800153324@trueknowledge.com"]])
Fact 3
is true for
May 5th 2010 onwards
([fact: ["800153332@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 23rd 2013, 16:55:59
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
Pennsylvania
([fact: ["363497171@trueknowledge.com"]])
Fact 4:
General Electric
is in
Fairfield, Connecticut
([fact: ["375270339@trueknowledge.com"]])
Fact 4
is true for
March 19th 2010 onwards
([fact: ["701284276@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
May 23rd 2013, 16:55:59
I know from locally stored knowledge that:
Fairfield, Connecticut
is a
settlement
([fact: ["13046752@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
settlement
([fact: ["234471986@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Fairfield, Connecticut
I know from locally stored knowledge that:
Fact 5:
General Electric
is in
Israel
([fact: ["879744600@trueknowledge.com"]])
Fact 5
is true for
June 24th 2010 onwards
([fact: ["879744604@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
May 23rd 2013, 16:55:59
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
Israel
([fact: ["363496671@trueknowledge.com"]])
Fact 6:
General Electric
is in
Haifa
([fact: ["1047078578@trueknowledge.com"]])
Fact 6
is true for
November 11th 2010 onwards
([fact: ["1047078582@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
May 23rd 2013, 16:55:59
I know from locally stored knowledge that:
Haifa
is a
settlement
([fact: ["81618196@trueknowledge.com"]])
Haifa
is a
city
([fact: ["375449051@trueknowledge.com"]])
Haifa
is a
town or city
([fact: ["152474309@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Haifa
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
General Electric
I know from locally stored knowledge that:
Fact 7:
Pennsylvania
is in
North America
([fact: ["664222260@trueknowledge.com"]])
Fact 7
is true for
January 25th 2010, 15:46:41 onwards
([fact: ["664222276@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
May 5th 2010 onwards
is the timeperiod intersection of
May 5th 2010 onwards and January 25th 2010, 15:46:41 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 8:
General Electric
is in
North America
Fact 8
is true for
May 5th 2010 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 8
is true at
May 23rd 2013, 16:55:59
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 8
is true for
March 19th 2010 onwards
I know from locally stored knowledge that:
Fact 9:
the United States
is in
North America
([fact: ["1158413@trueknowledge.com"]])
Fact 9
is true for
the earliest time when the fact can make sense onwards
([fact: ["1158414@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
March 19th 2010 onwards
is the timeperiod intersection of
March 19th 2010 onwards and the earliest time when the fact can make sense onwards
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
North America
([fact: ["234465274@trueknowledge.com"]])
