No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3880-3880	Gibraltar is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3881-3881	Glorioso islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3882-3882	Greenland is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3883-3883	Guadeloupe is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3884-3884	Guam is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3885-3885	Guernsey is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3886-3886	Heard island and mc donald islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3887-3887	Hong kong is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3888-3888	Howland island is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3889-3889	Isle of man is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3890-3890	Jan mayen island is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3891-3891	Jarvis island is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3892-3892	Jersey is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3893-3893	Johnston atoll is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3894-3894	Juan de nova island is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3895-3895	Kingman reef is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3896-3896	Macau is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3897-3897	Martinique is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3898-3898	Mayotte is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3899-3899	Midway islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3900-3900	Montserrat is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3901-3901	Navassa island is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3902-3902	Netherlands antilles is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3903-3903	New caledonia is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3904-3904	Niue is an instance of dependency or special sovereignty area
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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