| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 272-275 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 278-278 | physicalDomain 的 1 数量 是 物理尺寸 的 instance |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 279-279 | physicalDomain 的 2 数量 是 物理尺寸 的 instance |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 280-280 | physicalDomain 的 3 数量 是 物理域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 276-276 | physicalDomain 是 三元谓语 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 277-277 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65899-65899 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 415-424 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 283-283 | physicalDomain 圆周角度速度, 扭矩 and 旋转 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 285-285 | physicalDomain 压力, 体积流量 and 流体动力 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 282-282 | physicalDomain 速度, 力 and 平移 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 284-284 | physicalDomain 电压, 当前 and 电动 |
|
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