By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 1:
Birmingham
is a
university city
([fact: ["1006192486@trueknowledge.com"]])
Fact 1
is true for
November 6th 2010, 22:50:25 onwards
([fact: ["1006192490@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 2:
Birmingham
is a
populated place
([fact: ["1071565982@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
permanent
applies to
populated place
([fact: ["127582645@trueknowledge.com"]])
Fact 3:
Birmingham
is a
LDC link settlement
([fact: ["303558078@trueknowledge.com"]])
Fact 3
is true for
April 22nd 2009, 00:00:00 onwards
([fact: ["303558082@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 4:
Birmingham
is a
city
([fact: ["1149951@trueknowledge.com"]])
Fact 4
is true for
1990 onwards
([fact: ["16515051@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 5:
Birmingham
is a
settlement
([fact: ["1583060@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 5
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
permanent
applies to
settlement
([fact: ["1142786@trueknowledge.com"]])
Fact 6:
Birmingham
is a
geographical area
([fact: ["137234738@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 6
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
permanent
applies to
geographical area
([fact: ["1131381@trueknowledge.com"]])
Birmingham
commonly translates as
"Birmingham"
([fact: ["1149950@trueknowledge.com"]])
settlement
is a subclass of
geographical area
([fact: ["1142780@trueknowledge.com"]])
city
is a subclass of
settlement
([fact: ["1131543@trueknowledge.com"]])
city
commonly translates as
"city"
([fact: ["1134096@trueknowledge.com"]])
Birmingham
is in
the United Kingdom
([fact: ["152229957@trueknowledge.com"]])
the United Kingdom
is a
country
([fact: ["243911882@trueknowledge.com"]])
the United Kingdom
commonly translates as
"the United Kingdom"
([fact: ["1110408542@trueknowledge.com"]])
Birmingham
is in
England
([fact: ["1149959@trueknowledge.com"]])
England
is a
country
([fact: ["15624051@trueknowledge.com"]])
England
commonly translates as
"England"
([fact: ["1134841@trueknowledge.com"]])
Great Britain
is a
country
([fact: ["401698163@trueknowledge.com"]])
Great Britain
commonly translates as
"Great Britain"
([fact: ["234477666@trueknowledge.com"]])
England
is a
constituent country of the UK
([fact: ["105698271@trueknowledge.com"]])
London
is the capital of
England
([fact: ["1148429@trueknowledge.com"]])
London
commonly translates as
"London"
([fact: ["1132036@trueknowledge.com"]])
Winchester
is the capital of
England
([fact: ["690808172@trueknowledge.com"]])
Winchester
commonly translates as
"Winchester"
([fact: ["152423533@trueknowledge.com"]])
52°28'47"N
is the latitude of
Birmingham
([fact: ["152229937@trueknowledge.com"]])
1°54'36"W
is the longitude of
Birmingham
([fact: ["685221924@trueknowledge.com"]])
1,006,500
is the population of
Birmingham
([fact: ["148233870@trueknowledge.com"]])
1,016,800
is the population of
Birmingham
([fact: ["911145842@trueknowledge.com"]])
Fact 7:
London
is a
geographical area
([fact: ["203289858@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 7
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 7
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 8:
London
is a
settlement
([fact: ["4167765@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 8
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 8
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 9:
London
is a
city
([fact: ["1132034@trueknowledge.com"]])
Fact 9
is true for
900 AD onwards
([fact: ["105704035@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 9
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 10:
London
is a
university city
([fact: ["1006192838@trueknowledge.com"]])
Fact 10
is true for
November 6th 2010, 22:50:43 onwards
([fact: ["1006192842@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 10
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
51°30'26"N
is the latitude of
London
([fact: ["1007994410@trueknowledge.com"]])
0°06'22.31"W
is the longitude of
London
([fact: ["689142912@trueknowledge.com"]])
7,556,900
is the population of
London
([fact: ["243022382@trueknowledge.com"]])
7,754,000
is the population of
London
([fact: ["1418891647@trueknowledge.com"]])
7,825,200
is the population of
London
([fact: ["2224193626@trueknowledge.com"]])
Birmingham
is in
Warwickshire
([fact: ["1583064@trueknowledge.com"]])
Warwickshire
is in
England
([fact: ["91957768@trueknowledge.com"]])
Warwickshire
is a
traditional English county
([fact: ["1166511@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
traditional English county
([fact: ["232622674@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
I know from locally stored knowledge that:
Warwickshire
commonly translates as
"Warwickshire"
([fact: ["1166512@trueknowledge.com"]])
Birmingham
is in
Birmingham
([fact: ["1583065@trueknowledge.com"]])
Birmingham
is in
England
([fact: ["91862324@trueknowledge.com"]])
Birmingham
commonly translates as
"Birmingham"
([fact: ["1167396@trueknowledge.com"]])
Birmingham
is in
West Midlands
([fact: ["356733099@trueknowledge.com"]])
West Midlands
is in
England
([fact: ["406328811@trueknowledge.com"]])
West Midlands
is a
English county
([fact: ["245109370@trueknowledge.com"]])
West Midlands
is a
English metropolitan county
([fact: ["406332111@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
West Midlands
I know from locally stored knowledge that:
West Midlands
commonly translates as
"West Midlands"
([fact: ["245109374@trueknowledge.com"]])
By calculation (generator: ["in_group@trueknowledge.com"]) I know that:
Leicester
is in the group
Leicester, Nottingham, Birmingham, Derby and Coventry
Nottingham
is in the group
Leicester, Nottingham, Birmingham, Derby and Coventry
Birmingham
is in the group
Leicester, Nottingham, Birmingham, Derby and Coventry
Derby
is in the group
Leicester, Nottingham, Birmingham, Derby and Coventry
Coventry
is in the group
Leicester, Nottingham, Birmingham, Derby and Coventry
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Leicester
is not strictly equal to
Birmingham
Leicester
is not strictly equal to
London
I know from locally stored knowledge that:
52°38'03"N
is the latitude of
Leicester
([fact: ["152423777@trueknowledge.com"]])
1°08'06"W
is the longitude of
Leicester
([fact: ["361589347@trueknowledge.com"]])
306,600
is the population of
Leicester
([fact: ["2467209982@trueknowledge.com"]])
Leicester
commonly translates as
"Leicester"
([fact: ["152423689@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
"Leicester"
is not strictly equal to
"Birmingham"
Nottingham
is not strictly equal to
Birmingham
Nottingham
is not strictly equal to
London
I know from locally stored knowledge that:
52°58'11"N
is the latitude of
Nottingham
([fact: ["152082997@trueknowledge.com"]])
1°10'00"W
is the longitude of
Nottingham
([fact: ["376614703@trueknowledge.com"]])
306,700
is the population of
Nottingham
([fact: ["2467209978@trueknowledge.com"]])
Nottingham
commonly translates as
"Nottingham"
([fact: ["152082957@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
"Nottingham"
is not strictly equal to
"Birmingham"
Derby
is not strictly equal to
Birmingham
Derby
is not strictly equal to
London
I know from locally stored knowledge that:
52°55'19"N
is the latitude of
Derby
([fact: ["356758063@trueknowledge.com"]])
1°28'32"W
is the longitude of
Derby
([fact: ["152775049@trueknowledge.com"]])
236,300
is the population of
Derby
([fact: ["356758363@trueknowledge.com"]])
Derby
commonly translates as
"Derby"
([fact: ["152774953@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
"Derby"
is not strictly equal to
"Birmingham"
Coventry
is not strictly equal to
Birmingham
Coventry
is not strictly equal to
London
I know from locally stored knowledge that:
52°24'29"N
is the latitude of
Coventry
([fact: ["152516817@trueknowledge.com"]])
1°30'38"W
is the longitude of
Coventry
([fact: ["152516825@trueknowledge.com"]])
309,800
is the population of
Coventry
([fact: ["641571428@trueknowledge.com"]])
Coventry
commonly translates as
"Coventry"
([fact: ["152516733@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
"Coventry"
is not strictly equal to
"Birmingham"
I know from locally stored knowledge that:
Fact 11:
Leicester
is a
geographical area
([fact: ["152423705@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 11
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 11
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 12:
Leicester
is a
settlement
([fact: ["3997617@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 12
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 12
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 13:
Leicester
is a
city
([fact: ["3997615@trueknowledge.com"]])
Fact 13
is true for
November 2006 onwards
([fact: ["3997616@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 13
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 14:
Leicester
is a
university city
([fact: ["1006194966@trueknowledge.com"]])
Fact 14
is true for
November 6th 2010, 22:53:02 onwards
([fact: ["1006194970@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 14
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 15:
Nottingham
is a
geographical area
([fact: ["152082985@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 15
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 15
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 16:
Nottingham
is a
settlement
([fact: ["4833856@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 16
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 16
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 17:
Nottingham
is a
city
([fact: ["4833854@trueknowledge.com"]])
Fact 17
is true for
November 2006 onwards
([fact: ["4833855@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 17
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 18:
Nottingham
is a
university city
([fact: ["1006192598@trueknowledge.com"]])
Fact 18
is true for
November 6th 2010, 22:50:30 onwards
([fact: ["1006192602@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 18
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 19:
Derby
is a
geographical area
([fact: ["152774961@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 19
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 19
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 20:
Derby
is a
settlement
([fact: ["2588109@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 20
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 20
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 21:
Derby
is a
city
([fact: ["2588107@trueknowledge.com"]])
Fact 21
is true for
November 2006 onwards
([fact: ["2588108@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 21
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 22:
Derby
is a
university city
([fact: ["1006198702@trueknowledge.com"]])
Fact 22
is true for
November 6th 2010, 22:57:54 onwards
([fact: ["1006198706@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 22
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 23:
Coventry
is a
geographical area
([fact: ["152516749@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 23
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 23
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 24:
Coventry
is a
settlement
([fact: ["2399129@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 24
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 24
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 25:
Coventry
is a
city
([fact: ["2399127@trueknowledge.com"]])
Fact 25
is true for
November 2006 onwards
([fact: ["2399128@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 25
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 26:
Coventry
is a
old city
([fact: ["368460387@trueknowledge.com"]])
Fact 26
is true for
June 24th 2009 onwards
([fact: ["368460403@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 12th 2012, 10:13:50
I know from locally stored knowledge that:
Fact 27:
Coventry
is a
university city
([fact: ["1006193966@trueknowledge.com"]])
Fact 27
is true for
November 6th 2010, 22:52:00 onwards
([fact: ["1006193970@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 27
is true at
February 12th 2012, 10:13:50
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
city
is strictly equal to
city
By calculation (generator: ["ppac1@trueknowledge.com"]) I know that:
old city
is a subclass of
city
By calculation (generator: ["parameteredtranslate2@trueknowledge.com"]) I know that:
old city
commonly translates as
"old city"
By calculation (generator: ["english_description_location2@trueknowledge.com"]) I know that:
Birmingham is a city in Warwickshire, England. It is 102 miles (164km) north west of London and 18 miles (28km) west of Coventry.
is an English description of the location of
Birmingham