UnitedKingdom(united kingdom)

-------------------------


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