No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3880-3880	直布罗陀 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3881-3881	Glorioso岛屿 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3882-3882	格陵兰 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3883-3883	瓜德罗普岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3884-3884	关岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3885-3885	根西岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3886-3886	听过岛屿和麦当劳群岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3887-3887	香港 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3888-3888	Howland岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3889-3889	人岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3890-3890	Jan mayen 岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3891-3891	贾维斯岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3892-3892	球衣 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3893-3893	约翰斯顿环礁 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3894-3894	胡安德诺瓦岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3895-3895	金曼礁 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3896-3896	澳门 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3897-3897	马提尼克 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3898-3898	马约特 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3899-3899	中途岛屿 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3900-3900	蒙特塞拉特 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3901-3901	纳瓦萨岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3902-3902	荷属安的列斯 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3903-3903	新喀里多尼亚 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3904-3904	纽埃 是 依赖或特殊主权领域 的 instance
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