I know from locally stored knowledge that:
Fact 1:
William Shakespeare
is living in
London
([fact: ["128552300@trueknowledge.com"]])
Fact 1
is true for
1592 - 1616
([fact: ["128552319@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
1595
I know from locally stored knowledge that:
London
is a
settlement
([fact: ["4167765@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
settlement
([fact: ["234471986@trueknowledge.com"]])
London
is a
city
([fact: ["1132034@trueknowledge.com"]])
London
is a
town or city
([fact: ["149427141@trueknowledge.com"]])
London
is a
LDC link settlement
([fact: ["303558110@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
London
I know from locally stored knowledge that:
Fact 2:
William Shakespeare
is living in
Stratford upon Avon, England
([fact: ["421569227@trueknowledge.com"]])
Fact 2
is true for
April 1564 onwards
([fact: ["421569231@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
1595
I know from locally stored knowledge that:
Stratford upon Avon, England
is a
settlement
([fact: ["6017509@trueknowledge.com"]])
Stratford upon Avon, England
is a
tourist attraction
([fact: ["356743287@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
tourist attraction
([fact: ["711602820@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Stratford upon Avon, England
I know from locally stored knowledge that:
Fact 3:
London
is in
England
([fact: ["1147541@trueknowledge.com"]])
Fact 3
is true for
the earliest time when the fact can make sense onwards
([fact: ["1147542@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
1592 - 1616
is the timeperiod intersection of
1592 - 1616 and the earliest time when the fact can make sense onwards
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 4:
William Shakespeare
is living in
England
Fact 4
is true for
1592 - 1616
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
1595
I know from locally stored knowledge that:
England
is a
sovereign state
([fact: ["679546640@trueknowledge.com"]])
England
is a
country
([fact: ["15624051@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
country
([fact: ["232614978@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
England
I know from locally stored knowledge that:
Fact 5:
London
is in
Middlesex
([fact: ["4167769@trueknowledge.com"]])
Fact 5
is true for
the earliest time when the fact can make sense - 1700
([fact: ["20028467@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
1592 - 1616
is the timeperiod intersection of
1592 - 1616 and the earliest time when the fact can make sense - 1700
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 4:
William Shakespeare
is living in
Middlesex
Fact 4
is true for
1592 - 1616
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
1595
I know from locally stored knowledge that:
Middlesex
is a
traditional English county
([fact: ["1166779@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
traditional English county
([fact: ["232622674@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Middlesex
I know from locally stored knowledge that:
Fact 7:
Stratford upon Avon, England
is in
the United Kingdom
([fact: ["374517807@trueknowledge.com"]])
Fact 7
is true for
December 16th 2010 onwards
([fact: ["1061736046@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
December 16th 2010 onwards
is the timeperiod intersection of
April 1564 onwards and December 16th 2010 onwards
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 4:
William Shakespeare
is living in
the United Kingdom
Fact 4
is true for
December 16th 2010 onwards
Fact 4
is true for
1592 - 1616
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
1595
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
the United Kingdom
([fact: ["363496267@trueknowledge.com"]])
Fact 9:
London
is in
the United Kingdom
([fact: ["1132044@trueknowledge.com"]])
Fact 9
is true for
43 AD onwards
([fact: ["127561811@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
1592 - 1616
is the timeperiod intersection of
1592 - 1616 and 43 AD onwards
I know from locally stored knowledge that:
Fact 10:
Stratford upon Avon, England
is in
Warwickshire
([fact: ["6017513@trueknowledge.com"]])
Fact 10
is true for
February 8th 2010 onwards
([fact: ["678045276@trueknowledge.com"]])
Fact 10
is true for
the earliest time when the fact can make sense onwards
([fact: ["7077555@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
February 8th 2010 onwards
is the timeperiod intersection of
April 1564 onwards and February 8th 2010 onwards
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 4:
William Shakespeare
is living in
Warwickshire
Fact 4
is true for
February 8th 2010 onwards
Fact 4
is true for
April 1564 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
1595
I know from locally stored knowledge that:
Warwickshire
is a
traditional English county
([fact: ["1166511@trueknowledge.com"]])
Warwickshire
is a
English county
([fact: ["2353978250@trueknowledge.com"]])
Warwickshire
is a
Non-metropolitan county
([fact: ["408924139@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Warwickshire
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
April 1564 onwards
is the timeperiod intersection of
April 1564 onwards and the earliest time when the fact can make sense onwards
Adding…
