No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 693-693	Samoa is a geographic subregion of oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 695-695	Solomon islands is a geographic subregion of oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 697-697	Tokelau is a geographic subregion of oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 698-698	Tonga is a geographic subregion of oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 700-700	Tuvalu is a geographic subregion of oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 702-702	Vanuatu is a geographic subregion of oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 704-704	Wake island is a geographic subregion of oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 705-705	Wallis and futuna is a geographic subregion of oceania
No TPTP formula. May not be expressible in strict first order.	Geography.kif 137-137	Oceania has name "Oceania"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 281-281	Asia is northwest to oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 662-662	Australia is a part of 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