No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 693-693	薩摩亞 是 大洋洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 695-695	所羅門群島 是 大洋洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 697-697	托克勞 是 大洋洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 698-698	湯加 是 大洋洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 700-700	圖瓦盧 是 大洋洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 702-702	瓦努阿圖 是 大洋洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 704-704	甦醒島 是 大洋洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 705-705	瓦利斯和富圖納群島 是 大洋洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 137-137	名 "Oceania" and 大洋洲
No TPTP formula. May not be expressible in strict first order.	Geography.kif 281-281	方位 亞洲, 大洋洲 and 西北
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 662-662	部分 澳大利亞 and 大洋洲
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