No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3776-3776	直布羅陀 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3778-3778	Glorioso島嶼 是 法國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3780-3780	格陵蘭 是 丹麥 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3782-3782	瓜德羅普島 是 法國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3784-3784	關島 是 美國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3785-3785	根西島 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3787-3787	聽過島嶼和麥當勞群島 是 澳大利亞 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3789-3789	香港 是 中國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3791-3791	Howland島 是 美國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3793-3793	人島 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3795-3795	Jan mayen 島 是 挪威 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3797-3797	賈維斯島 是 美國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3799-3799	球衣 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3801-3801	約翰斯頓環礁 是 美國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3803-3803	胡安德諾瓦島 是 法國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3805-3805	金曼礁 是 美國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3807-3807	澳門 是 中國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3809-3809	馬提尼克 是 法國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3811-3811	馬約特 是 法國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3813-3813	中途島嶼 是 美國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3815-3815	蒙特塞拉特 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3817-3817	納瓦薩島 是 美國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3819-3819	荷屬安的列斯 是 荷蘭 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3821-3821	新喀裡多尼亞 是 法國 的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3823-3823	紐埃 是 新西蘭 的 dependent
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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