I know from locally stored knowledge that:
live
is the intransitive action corresponding to
is living in
([fact: ["135903880@trueknowledge.com"]])
Fact 1:
Albert Einstein
is living in
the United States
([fact: ["359743387@trueknowledge.com"]])
Fact 1
is true for
July 31st 2009 onwards
([fact: ["418739399@trueknowledge.com"]])
Fact 1
is true for
August 19th 2009 onwards
([fact: ["433857796@trueknowledge.com"]])
By calculation (generator: ["frequently_does_action_named_location_pair4@trueknowledge.com"]) I know that:
Fact 2:
Albert Einstein
is something that frequently does the action / named location pair
live and the United States
Fact 2
is true for
July 31st 2009 onwards
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
the United States
([fact: ["363496263@trueknowledge.com"]])
Fact 3:
Albert Einstein
is living in
Italy
([fact: ["359743379@trueknowledge.com"]])
Fact 3
is true for
July 31st 2009 onwards
([fact: ["418739383@trueknowledge.com"]])
Fact 3
is true for
August 19th 2009 onwards
([fact: ["433857772@trueknowledge.com"]])
By calculation (generator: ["frequently_does_action_named_location_pair4@trueknowledge.com"]) I know that:
Fact 2:
Albert Einstein
is something that frequently does the action / named location pair
live and Italy
Fact 2
is true for
July 31st 2009 onwards
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
Italy
([fact: ["363496291@trueknowledge.com"]])
Fact 5:
Albert Einstein
is living in
Germany
([fact: ["359743375@trueknowledge.com"]])
Fact 5
is true for
July 31st 2009 onwards
([fact: ["418739379@trueknowledge.com"]])
By calculation (generator: ["frequently_does_action_named_location_pair4@trueknowledge.com"]) I know that:
Fact 2:
Albert Einstein
is something that frequently does the action / named location pair
live and Germany
Fact 2
is true for
July 31st 2009 onwards
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
Germany
([fact: ["363496299@trueknowledge.com"]])
Fact 7:
Albert Einstein
is living in
Switzerland
([fact: ["359743383@trueknowledge.com"]])
Fact 7
is true for
July 31st 2009 onwards
([fact: ["418739387@trueknowledge.com"]])
By calculation (generator: ["frequently_does_action_named_location_pair4@trueknowledge.com"]) I know that:
Fact 2:
Albert Einstein
is something that frequently does the action / named location pair
live and Switzerland
Fact 2
is true for
July 31st 2009 onwards
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
Switzerland
([fact: ["363496723@trueknowledge.com"]])
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:
August 19th 2009 onwards
is the timeperiod intersection of
August 19th 2009 onwards and the earliest time when the fact can make sense onwards
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 10:
Albert Einstein
is living in
North America
Fact 10
is true for
August 19th 2009 onwards
Fact 10
is true for
July 31st 2009 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
July 31st 2009 onwards
is the timeperiod intersection of
July 31st 2009 onwards and the earliest time when the fact can make sense onwards
By calculation (generator: ["frequently_does_action_named_location_pair4@trueknowledge.com"]) I know that:
Fact 2:
Albert Einstein
is something that frequently does the action / named location pair
live and North America
Fact 2
is true for
July 31st 2009 onwards
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
North America
([fact: ["234465274@trueknowledge.com"]])
Fact 12:
Italy
is in
Europe
([fact: ["1158657@trueknowledge.com"]])
Fact 12
is true for
October 22nd 2006 onwards
([fact: ["367166539@trueknowledge.com"]])
Fact 12
is true for
the earliest time when the fact can make sense onwards
([fact: ["1158658@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
August 19th 2009 onwards
is the timeperiod intersection of
August 19th 2009 onwards and October 22nd 2006 onwards
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 10:
Albert Einstein
is living in
Europe
Fact 10
is true for
August 19th 2009 onwards
Fact 10
is true for
July 31st 2009 onwards
By calculation (generator: ["frequently_does_action_named_location_pair4@trueknowledge.com"]) I know that:
Fact 2:
Albert Einstein
is something that frequently does the action / named location pair
live and Europe
Fact 2
is true for
July 31st 2009 onwards
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
Europe
([fact: ["234465266@trueknowledge.com"]])
Fact 15:
Switzerland
is in
Swiss
([fact: ["2479749382@trueknowledge.com"]])
Fact 15
is true for
2011 onwards
([fact: ["2479749386@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
2011 onwards
is the timeperiod intersection of
July 31st 2009 onwards and 2011 onwards
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 10:
Albert Einstein
is living in
Swiss
Fact 10
is true for
2011 onwards
By calculation (generator: ["frequently_does_action_named_location_pair4@trueknowledge.com"]) I know that:
Fact 2:
Albert Einstein
is something that frequently does the action / named location pair
live and Swiss
Fact 2
is true for
2011 onwards
I know from locally stored knowledge that:
Swiss
is a
settlement
([fact: ["1047521866@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
Swiss
Adding…
