|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3825-3825 | 诺福克岛 是 澳大利亚 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3827-3827 | 北马里亚纳群岛 是 美国 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 756-756 | 巴勒斯坦 是 英国 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3829-3829 | 巴尔米拉环礁 是 美国 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3831-3831 | 皮特凯恩群岛 是 英国 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3833-3833 | 波多黎各 是 美国 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3834-3834 | 团圆 是 法国 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3836-3836 | 圣海伦娜 是 英国 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3838-3838 | 圣皮埃尔和密克隆 是 法国 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3840-3840 | 南佐治亚和南三明治岛屿 是 英国 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3842-3842 | 斯瓦尔巴 是 挪威 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3844-3844 | 托克劳 是 新西兰 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3846-3846 | 特罗姆林岛 是 法国 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3848-3848 | 特克斯和凯科斯群岛 是 英国 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3850-3850 | USVirginIslands 是 美国 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3853-3853 | 苏醒岛 是 美国 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3855-3855 | 瓦利斯和富图纳群岛 是 法国 的 dependent |
|
|
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