No TPTP formula. May not be expressible in strict first order.	Cars.kif 4718-4718	headquartersOfOrganization RoverGroup and UnitedKingdom
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4061-4061	UnitedKingdom se chama nome "Great Britain"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4059-4059	UnitedKingdom se chama nome "United Kingdom of Great Britain and Northern Ireland"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4060-4060	UnitedKingdom se chama nome "United Kingdom"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 799-799	Scotland e' uma &parte de UnitedKingdom
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6970-6970	primaryGeopoliticalSubdivision England and UnitedKingdom
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6969-6969	primaryGeopoliticalSubdivision NorthernIreland and UnitedKingdom
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6968-6968	primaryGeopoliticalSubdivision Scotland and UnitedKingdom
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6971-6971	primaryGeopoliticalSubdivision Wales and UnitedKingdom
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