No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3905-3905	Norfolk island is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3906-3906	Northern mariana islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3908-3908	Palmyra atoll is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3909-3909	Pitcairn islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3910-3910	Puerto rico is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3911-3911	Reunion is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3912-3912	Saint helena is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3913-3913	Saint pierre and miquelon is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3914-3914	South georgia and the south sandwich islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3915-3915	Svalbard is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3916-3916	Tokelau is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3917-3917	Tromelin island is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3918-3918	Turks and caicos islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3852-3852	US virgin islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3919-3919	Virgin islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3920-3920	Wake island is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3921-3921	Wallis and futuna is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8018-8018	Overseas area is a subclass of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19104-19104
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19103-19103
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19102-19102

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