No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 693-693	geographicSubregion Samoa and Oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 695-695	geographicSubregion SolomonIslands and Oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 697-697	geographicSubregion Tokelau and Oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 698-698	geographicSubregion Tonga and Oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 700-700	geographicSubregion Tuvalu and Oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 702-702	geographicSubregion Vanuatu and Oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 704-704	geographicSubregion WakeIsland and Oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 705-705	geographicSubregion WallisAndFutuna and Oceania
No TPTP formula. May not be expressible in strict first order.	Geography.kif 137-137	Oceania se chama nome "Oceania"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 281-281	Asia e' Northwest em relacao a Oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 662-662	Australia e' uma &parte de Oceania
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41632-41632
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41631-41631
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41630-41630

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