TreeView Knowledge Base Browser - ManchesterUnitedKingdom

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2011-2011
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4173-4173
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4170-4170
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3987-3987
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4172-4172
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4174-4174
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3183-3183	Manchester united kingdom is a geographic subregion of united kingdom
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2010-2010	Manchester united kingdom is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3184-3184	Manchester united kingdom has name "Manchester"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35951-35951
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35950-35950
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35949-35949