I know from locally stored knowledge that:
live
is the intransitive action corresponding to
is living in
([fact: ["135903880@trueknowledge.com"]])
Fact 1:
Benjamin Franklin
is living in
Paris
([fact: ["601180984@trueknowledge.com"]])
Fact 1
is true for
1778 - 1785
([fact: ["601181124@trueknowledge.com"]])
By calculation (generator: ["frequently_does_action_named_location_pair4@trueknowledge.com"]) I know that:
Fact 2:
Benjamin Franklin
is something that frequently does the action / named location pair
live and Paris
Fact 2
is true for
1778 - 1785
I know from locally stored knowledge that:
Paris
is a
settlement
([fact: ["46161423@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
settlement
([fact: ["234471986@trueknowledge.com"]])
Paris
is a
city
([fact: ["1131341@trueknowledge.com"]])
Paris
is a
town or city
([fact: ["151919665@trueknowledge.com"]])
Paris
is a
World Heritage Site
([fact: ["425117624@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
World Heritage Site
([fact: ["911193270@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Paris
I know from locally stored knowledge that:
Fact 3:
Benjamin Franklin
is living in
Massachusetts
([fact: ["601181536@trueknowledge.com"]])
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 3
is true for
1706 - 1723
I know from locally stored knowledge that:
Fact 4:
Benjamin Franklin
is living in
Boston
([fact: ["601179772@trueknowledge.com"]])
Fact 4
is true for
1706 - 1723
([fact: ["601179780@trueknowledge.com"]])
Fact 5:
Boston
is in
Massachusetts
([fact: ["137157867@trueknowledge.com"]])
Fact 5
is true for
the earliest time when the fact can make sense onwards
([fact: ["328029434@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
1706 - 1723
is the timeperiod intersection of
1706 - 1723 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:
Benjamin Franklin
is something that frequently does the action / named location pair
live and Massachusetts
Fact 2
is true for
1706 - 1723
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
Massachusetts
([fact: ["363497051@trueknowledge.com"]])
Fact 7:
Benjamin Franklin
is living in
Philadelphia
([fact: ["601181272@trueknowledge.com"]])
Fact 7
is true for
1724 - 1777
([fact: ["601181276@trueknowledge.com"]])
By calculation (generator: ["frequently_does_action_named_location_pair4@trueknowledge.com"]) I know that:
Fact 2:
Benjamin Franklin
is something that frequently does the action / named location pair
live and Philadelphia
Fact 2
is true for
1724 - 1777
I know from locally stored knowledge that:
Philadelphia
is a
settlement
([fact: ["9103609@trueknowledge.com"]])
Philadelphia
is a
city
([fact: ["124152499@trueknowledge.com"]])
Philadelphia
is a
town or city
([fact: ["152037833@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Philadelphia
By calculation (generator: ["frequently_does_action_named_location_pair4@trueknowledge.com"]) I know that:
Fact 2:
Benjamin Franklin
is something that frequently does the action / named location pair
live and Boston
Fact 2
is true for
1706 - 1723
I know from locally stored knowledge that:
Boston
is a
settlement
([fact: ["14512627@trueknowledge.com"]])
Boston
is a
city
([fact: ["367126179@trueknowledge.com"]])
Boston
is a
town or city
([fact: ["367126191@trueknowledge.com"]])
Boston
is a
US state capital
([fact: ["105700972@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Boston
I know from locally stored knowledge that:
Fact 10:
Paris
is in
France
([fact: ["1131479@trueknowledge.com"]])
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 10
is true for
the beginning of time onwards
I know from locally stored knowledge that:
Fact 10
is true for
January 13th 2009 onwards
([fact: ["693511032@trueknowledge.com"]])
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Paris
I know from locally stored knowledge that:
Fact 11:
Paris
is in
Île-de-France
([fact: ["43377312@trueknowledge.com"]])
Fact 11
is true for
the earliest time when the fact can make sense onwards
([fact: ["43377317@trueknowledge.com"]])
Fact 12:
Île-de-France
is in
France
([fact: ["43374907@trueknowledge.com"]])
Fact 12
is true for
the earliest time when the fact can make sense onwards
([fact: ["43374908@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
the beginning of time onwards
is the timeperiod intersection of
the earliest time when the fact can make sense onwards and the earliest time when the fact can make sense onwards
1778 - 1785
is the timeperiod intersection of
1778 - 1785 and the beginning of time onwards
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 13:
Benjamin Franklin
is living in
France
Fact 13
is true for
1778 - 1785
By calculation (generator: ["frequently_does_action_named_location_pair4@trueknowledge.com"]) I know that:
Fact 2:
Benjamin Franklin
is something that frequently does the action / named location pair
live and France
Fact 2
is true for
1778 - 1785
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
France
([fact: ["363496259@trueknowledge.com"]])
Fact 15:
France
is in
Europe
([fact: ["1159511@trueknowledge.com"]])
Fact 15
is true for
the earliest time when the fact can make sense onwards
([fact: ["1159512@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 13th 2009 onwards
is the timeperiod intersection of
January 13th 2009 onwards and the earliest time when the fact can make sense onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 16:
Paris
is in
Europe
Fact 16
is true for
January 13th 2009 onwards
Fact 16
is true for
the beginning of time onwards
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Île-de-France
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 16:
Île-de-France
is in
Europe
Fact 16
is true for
the beginning of time onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
the beginning of time onwards
is the timeperiod intersection of
the earliest time when the fact can make sense onwards and the beginning of time onwards
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 13:
Benjamin Franklin
is living in
Europe
Fact 13
is true for
1778 - 1785
By calculation (generator: ["frequently_does_action_named_location_pair4@trueknowledge.com"]) I know that:
Fact 2:
Benjamin Franklin
is something that frequently does the action / named location pair
live and Europe
Fact 2
is true for
1778 - 1785
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
Europe
([fact: ["234465266@trueknowledge.com"]])