| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 606-611 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 604-604 | 发展中国家 是 IMF发展水平 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 516-516 | 发展中国家 是 转型国家 的直接后续属性 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 615-615 | 发展中国家 是 阿富汗 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 616-616 | 发展中国家 是 阿尔及利亚 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 617-617 | 发展中国家 是 安哥拉 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 618-618 | 发展中国家 是 安提瓜和巴布达 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 619-619 | 发展中国家 是 阿根廷 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 620-620 | 发展中国家 是 阿鲁巴 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 622-622 | 发展中国家 是 巴林 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 623-623 | 发展中国家 是 孟加拉国 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 624-624 | 发展中国家 是 巴巴多斯 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 625-625 | 发展中国家 是 伯利兹 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 626-626 | 发展中国家 是 布隆迪 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 627-627 | 发展中国家 是 柬埔寨 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 628-628 | 发展中国家 是 喀麦隆 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 629-629 | 发展中国家 是 佛得角 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 630-630 | 发展中国家 是 中非共和国 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 631-631 | 发展中国家 是 chad 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 632-632 | 发展中国家 是 智利 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 633-633 | 发展中国家 是 中国 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 634-634 | 发展中国家 是 哥伦比亚 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 635-635 | 发展中国家 是 科摩罗 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 637-637 | 发展中国家 是 哥斯达黎加 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 638-638 | 发展中国家 是 科特迪瓦科特迪瓦 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 639-639 | 发展中国家 是 塞浦路斯 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 636-636 | 发展中国家 是 刚果民主共和国 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 640-640 | 发展中国家 是 吉布提 的 economy 类别 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 613-613 | 126 是 和 发展中国家 对应的 Class 的 cardinality |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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