No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3905-3905	诺福克岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3906-3906	北马里亚纳群岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3908-3908	巴尔米拉环礁 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3909-3909	皮特凯恩群岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3910-3910	波多黎各 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3911-3911	团圆 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3912-3912	圣海伦娜 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3913-3913	圣皮埃尔和密克隆 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3914-3914	南佐治亚和南三明治岛屿 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3915-3915	斯瓦尔巴 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3916-3916	托克劳 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3917-3917	特罗姆林岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3918-3918	特克斯和凯科斯群岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3852-3852	USVirginIslands 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3919-3919	维尔京群岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3920-3920	苏醒岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3921-3921	瓦利斯和富图纳群岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8019-8019	海外地区 是 依赖或特殊主权领域 的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19104-19104
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19103-19103
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19102-19102

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