No TPTP formula. May not be expressible in strict first order.	Cars.kif 4713-4713	The headquarters of RoverGroup 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 6658-6658	United kingdom is a primary geopolitical subdivision of England
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6657-6657	United kingdom is a primary geopolitical subdivision of northern ireland
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6656-6656	United kingdom is a primary geopolitical subdivision of scotland
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6659-6659	United kingdom is a primary geopolitical subdivision of Wales
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60017-60017
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60016-60016
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60015-60015

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