|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 605-605 | 柬埔寨 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 196-196 | 喀麦隆 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 409-409 | 加拿大 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 198-198 | 佛得角 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 88-88 | 中非共和国 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 90-90 | Chad 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1210-1210 | 车臣 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 516-516 | 智利 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 546-546 | 中国 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 504-504 | 哥伦比亚 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 159-159 | 科摩罗 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 475-475 | 哥斯达黎加 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 200-200 | 科特迪瓦科特迪瓦 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 377-377 | 克罗地亚 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 438-438 | 古巴 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 243-243 | 塞浦路斯 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 278-278 | 捷克共和国 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 92-92 | 刚果民主共和国 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 98-98 | 吉布提 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 441-441 | 多米尼加 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 443-443 | 多明尼加共和国 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 609-609 | 东帝 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 523-523 | 厄瓜多尔 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 119-119 | 埃及 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 477-477 | 萨尔瓦多 是 国家 的 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