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"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 281-281	亚洲 在 大洋洲 的 西北
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 662-662	澳大利亚 是 大洋洲 的 part
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