| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1823-1826 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2197-2201 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 442-445 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2195-2195 | 总值关系 是 可继承的关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2194-2194 | 总值关系 是 关系 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4761-4761 | 绝对值函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1279-1279 | AccelerationFn 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4711-4711 | 加法函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5258-5258 | ArcCosineFn 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5268-5268 | ArcSineFn 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5248-5248 | ArcTangentFn 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7981-7981 | 开始函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5941-5941 | 节点开端函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4782-4782 | 顶整数函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7638-7638 | 圆心 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5476-5476 | 补集函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4800-4800 | 馀弦函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4809-4809 | 分母函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6643-6643 | 密度函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4948-4948 | 直径 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8009-8009 | 结束函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5952-5952 | 节点末端 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4818-4818 | 次幂函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4827-4827 | 底整数函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8510-8510 | 未来函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5497-5497 | 概括交集函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5486-5486 | 概括结合函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6053-6053 | 图路函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4907-4907 | 虚数函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16284-16284 | 直系亲属 是 总值关系 的 instance |
| 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