| 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 | 例 發展中國家 and IMF發展水平 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 516-516 | 繼承屬性 發展中國家 and 轉型國家 |
| 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 是 延期 發展中國家 的 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