|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 530-530 | 哈萨克斯坦 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 104-104 | 肯尼亚 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 675-675 | 基里巴斯 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 255-255 | 科威特 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 532-532 | 吉尔吉斯斯坦 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 613-613 | 寮 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 301-301 | 拉脱维亚 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 257-257 | 黎巴嫩 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 165-165 | 莱索托 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 214-214 | 利比里亚 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 121-121 | 利比亚 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 284-284 | 列支敦士登 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 303-303 | 立陶宛 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 357-357 | 卢森堡 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 379-379 | 马其顿 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 167-167 | 马达加斯加 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 169-169 | 马拉维 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 615-615 | 马来西亚 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 577-577 | 马尔代夫 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 216-216 | 马里 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 677-677 | 马绍尔群岛 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 123-123 | 毛里塔尼亚 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 171-171 | 毛里求斯 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 483-483 | 墨西哥 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 679-679 | 密克罗尼西亚 是 国家 的 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