| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 88-89 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 81-81 | 经济类型 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 85-85 | 经济类型 的 2 数量 是 经济属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 80-80 | 经济类型 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 86-86 | 经济类型 是 属于 的 subrelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 828-828 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 827-827 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 826-826 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21204-21204 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21203-21203 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21202-21202 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 440-447 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 456-463 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 465-472 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 481-488 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 490-497 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 91-95 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 865-869 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 506-510 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 189-191 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 388-390 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 384-386 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 432-434 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 747-749 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 743-745 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 879-881 |
| appearance as argument number 0 |
|
|
| 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 231-231 | 较未发达国家 是 阿富汗 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 574-574 | 转型国家 是 阿尔巴尼亚 的 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 232-232 | 较未发达国家 是 阿尔及利亚 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 146-146 | 发达国家 是 安道尔 的 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 233-233 | 较未发达国家 是 安哥拉 的 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 234-234 | 较未发达国家 是 安提瓜和巴布达 的 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 235-235 | 较未发达国家 是 阿根廷 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 575-575 | 转型国家 是 亚美尼亚 的 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 236-236 | 较未发达国家 是 阿鲁巴 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 535-535 | 发达经济 是 澳大利亚 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 147-147 | 发达国家 是 澳大利亚 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 536-536 | 发达经济 是 奥地利 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 148-148 | 发达国家 是 奥地利 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 576-576 | 转型国家 是 阿塞拜疆 的 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 238-238 | 较未发达国家 是 巴林 的 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 239-239 | 较未发达国家 是 孟加拉国 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 624-624 | 发展中国家 是 巴巴多斯 的 economy 类别 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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