By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 19th 2013, 07:57:27
I know from locally stored knowledge that:
Fact 1:
Steve Jobs
is living in
Palo Alto, California
([fact: ["234459107@trueknowledge.com"]])
Fact 1
is true for
March 8th 2009, 00:00:00 onwards
([fact: ["234459111@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 19th 2013, 07:57:27
I know from locally stored knowledge that:
Fact 1
is true for
January 13th 2011, 00:00 onwards
([fact: ["1098067614@trueknowledge.com"]])
Fact 1
is true for
August 30th 2011 onwards
([fact: ["2340540418@trueknowledge.com"]])
Palo Alto, California
is a
settlement
([fact: ["13224301@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
settlement
([fact: ["234471986@trueknowledge.com"]])
Palo Alto, California
is a
city
([fact: ["19601746@trueknowledge.com"]])
Palo Alto, California
is a
town or city
([fact: ["159842197@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Palo Alto, California
I know from locally stored knowledge that:
Fact 2:
Steve Jobs
is living in
Silicon Valley
([fact: ["402427855@trueknowledge.com"]])
Fact 2
is true for
July 22nd 2009, 08:01 onwards
([fact: ["1230708518@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 19th 2013, 07:57:27
I know from locally stored knowledge that:
Silicon Valley
is a
settlement
([fact: ["2234965726@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Silicon Valley
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 13th 2011, 00:00 onwards
is the timeperiod intersection of
January 13th 2011, 00:00 onwards and June 22nd 2007 onwards
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 3:
Steve Jobs
is living in
northern California
Fact 3
is true for
January 13th 2011, 00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 19th 2013, 07:57:27
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 3
is true for
March 8th 2009, 00:00:00 onwards
I know from locally stored knowledge that:
the fact generated.770722756@trueknowledge.com
is true for
November 2006 onwards
([fact: ["inferred$fact$$[$generated.770722756@trueknowledge.com$]$applies$for$timeperiod$timeperiod$$[timepoint$$[$2006/11$]];$[iafter]$@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
March 8th 2009, 00:00:00 onwards
is the timeperiod intersection of
March 8th 2009, 00:00:00 onwards and November 2006 onwards
I know from locally stored knowledge that:
northern California
is a
settlement
([fact: ["1016527374@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
northern California
I know from locally stored knowledge that:
Fact 4:
Palo Alto, California
is in
the San Francisco bay area
([fact: ["159842533@trueknowledge.com"]])
Fact 4
is true for
October 22nd 2006 onwards
([fact: ["377233487@trueknowledge.com"]])
Fact 4
is true for
September 24th 2008 onwards
([fact: ["159842537@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 13th 2011, 00:00 onwards
is the timeperiod intersection of
January 13th 2011, 00:00 onwards and October 22nd 2006 onwards
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 3:
Steve Jobs
is living in
the San Francisco bay area
Fact 3
is true for
January 13th 2011, 00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 19th 2013, 07:57:27
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 3
is true for
March 8th 2009, 00:00:00 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
March 8th 2009, 00:00:00 onwards
is the timeperiod intersection of
March 8th 2009, 00:00:00 onwards and September 24th 2008 onwards
I know from locally stored knowledge that:
the San Francisco bay area
is a
city area
([fact: ["641627504@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
the San Francisco bay area
I know from locally stored knowledge that:
Fact 6:
Palo Alto, California
is in
California
([fact: ["137151111@trueknowledge.com"]])
Fact 6
is true for
October 22nd 2006 onwards
([fact: ["367422347@trueknowledge.com"]])
Fact 6
is true for
September 24th 2008 onwards
([fact: ["159842513@trueknowledge.com"]])
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 3:
Steve Jobs
is living in
California
Fact 3
is true for
January 13th 2011, 00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 19th 2013, 07:57:27
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 3
is true for
March 8th 2009, 00:00:00 onwards
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
California
([fact: ["363497007@trueknowledge.com"]])
Fact 8:
Palo Alto, California
is in
the United States
([fact: ["137440952@trueknowledge.com"]])
Fact 8
is true for
October 22nd 2006 onwards
([fact: ["636437788@trueknowledge.com"]])
Fact 8
is true for
September 24th 2008 onwards
([fact: ["159842413@trueknowledge.com"]])
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 3:
Steve Jobs
is living in
the United States
Fact 3
is true for
January 13th 2011, 00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 19th 2013, 07:57:27
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 3
is true for
March 8th 2009, 00:00:00 onwards
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
the United States
([fact: ["363496263@trueknowledge.com"]])
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Palo Alto, California
I know from locally stored knowledge that:
Fact 10:
California
is in
North America
([fact: ["664211736@trueknowledge.com"]])
Fact 10
is true for
January 25th 2010, 15:43:53 onwards
([fact: ["664211752@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 25th 2010, 15:43:53 onwards
is the timeperiod intersection of
October 22nd 2006 onwards and January 25th 2010, 15:43:53 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 11:
Palo Alto, California
is in
North America
Fact 11
is true for
January 25th 2010, 15:43:53 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
August 30th 2011 onwards
is the timeperiod intersection of
August 30th 2011 onwards and January 25th 2010, 15:43:53 onwards
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 3:
Steve Jobs
is living in
North America
Fact 3
is true for
August 30th 2011 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 19th 2013, 07:57:27
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 3
is true for
July 17th 2011 onwards
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Silicon Valley
I know from locally stored knowledge that:
Fact 13:
Silicon Valley
is in
the United States
([fact: ["2234965574@trueknowledge.com"]])
Fact 13
is true for
July 17th 2011 onwards
([fact: ["2234965586@trueknowledge.com"]])
Fact 14:
the United States
is in
North America
([fact: ["1158413@trueknowledge.com"]])
Fact 14
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:
July 17th 2011 onwards
is the timeperiod intersection of
July 17th 2011 onwards and the earliest time when the fact can make sense onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 11:
Silicon Valley
is in
North America
Fact 11
is true for
July 17th 2011 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
July 17th 2011 onwards
is the timeperiod intersection of
July 22nd 2009, 08:01 onwards and July 17th 2011 onwards
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
North America
([fact: ["234465274@trueknowledge.com"]])