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