| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 954-955 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 957-957 | 建立年份 的 1 数量 是 机构 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 958-958 | 建立年份 的 2 数量 是 整数 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 956-956 | 建立年份 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2638-2638 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2637-2637 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2636-2636 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63763-63763 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63762-63762 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63761-63761 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 968-975 | 整数 是 机构 的 year 资金 若且唯若 有存在 过程 和 那个 整数EAR 这样 那个 整数EAR 时段 和 那个 过程 出现 的 time 重叠 和 那个 整数EAR 是 那个 整数 year 的 instance 和 那个 过程 是 创建 的 instance 和 那个 机构 是 那个 过程 的 result |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 960-963 |
|
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