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 4174-4174
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4171-4171
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3988-3988
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 4175-4175
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 35934-35934
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35933-35933
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35932-35932