| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2014-2014 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3480-3481 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 653-654 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3478-3478 | 三元谓语 是 可继承的关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3476-3476 | 三元谓语 是 谓语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3477-3477 | 三元谓语 是 三元关系 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2459-2459 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2458-2458 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2457-2457 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3153-3153 | abbreviatedDisplayTitle 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1658-1658 | 成就 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3337-3337 | 税后收入 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 565-565 | ageOfMajorityForProcess 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 728-728 | 协议修订日期 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2256-2256 | 按等级划分的农产品类型 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31278-31278 | allowableValue 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3121-3121 | alternativeTitle 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7686-7686 | 海拔 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7575-7575 | amount 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 648-648 | 到期金额 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1512-1512 | 期间面积的年度支出 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1484-1484 | 期间面积的年收入 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 148-148 | appointedPosition 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22876-22876 | 所负责的地区 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2434-2434 | 与地位相关联 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3823-3823 | 可用余额 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3846-3846 | 可用现金 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1219-1219 | 期间平均降水量 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1300-1300 | 期间平均降雨量 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 984-984 | 期间平均温度 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3357-3357 | 税前收入 是 三元谓语 的 instance |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3483-3485 |
|
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