No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3905-3905	NorfolkIsland e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3906-3906	NorthernMarianaIslands e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3908-3908	PalmyraAtoll e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3909-3909	PitcairnIslands e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3910-3910	PuertoRico e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3911-3911	Reunion e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3912-3912	SaintHelena e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3913-3913	SaintPierreAndMiquelon e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3914-3914	SouthGeorgiaAndTheSouthSandwichIslands e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3915-3915	Svalbard e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3916-3916	Tokelau e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3917-3917	TromelinIsland e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3918-3918	TurksAndCaicosIslands e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3852-3852	USVirginIslands e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3919-3919	VirginIslands e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3920-3920	WakeIsland e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3921-3921	WallisAndFutuna e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8018-8018	OverseasArea e' uma sub-classe de DependencyOrSpecialSovereigntyArea
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