| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 379-380 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 375-375 | 首都 的 1 数量 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 376-376 | 首都 的 2 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 374-374 | 首都 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 377-377 | 首都 是 行政中心 的 subrelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 356-356 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 355-355 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 354-354 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13080-13080 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13079-13079 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13078-13078 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 717-717 | 德国 是 柏林，德国 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 721-721 | 瑞士 是 伯尔尼瑞士 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 858-858 | 俄亥俄州 是 哥伦布俄亥俄州 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 844-844 | 丹麦 是 哥本哈根丹麦 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 838-838 | 科罗拉多州 是 丹佛科罗拉多州 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 825-825 | 夏威夷 是 檀香山夏威夷 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1837-1837 | 以色列 是 耶路撒冷以色列 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2980-2980 | 西方银行 是 JerusalemPalestine 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 68-68 | 英国 是 伦敦 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 749-749 | 俄国 是 莫斯科俄罗斯 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 56-56 | 法国 是 巴黎 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 771-771 | 罗德岛 是 天意罗德岛 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 775-775 | 弗吉尼亚州 是 里士满弗吉尼亚州 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 779-779 | 意大利 是 意大利罗马 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 786-786 | 明尼苏达 是 圣保罗明尼苏达州 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2389-2389 | 日本 是 日本东京 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 802-802 | 波兰 是 华沙波兰 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1050-1050 | 美国 是 华盛顿特区美国 的 capital 城市 |
|
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