No TPTP formula. May not be expressible in strict first order.	Cars.kif 4710-4710	The headquarters of Rover group is in united kingdom
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4061-4061	United kingdom has name "Great Britain"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4059-4059	United kingdom has name "United Kingdom of Great Britain and Northern Ireland"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4060-4060	United kingdom has name "United Kingdom"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 799-799	Scotland is a part of united kingdom
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6970-6970	United kingdom is a primary geopolitical subdivision of England
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6969-6969	United kingdom is a primary geopolitical subdivision of northern ireland
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6968-6968	United kingdom is a primary geopolitical subdivision of scotland
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6971-6971	United kingdom is a primary geopolitical subdivision of Wales
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60050-60050
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60049-60049
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60048-60048

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners