physicalDomain |
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 and 物理尺寸 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 279-279 | 域 physicalDomain, 2 and 物理尺寸 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 280-280 | 域 physicalDomain, 3 and 物理域 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 276-276 | 例 physicalDomain and TernaryPredicate |
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 電動 |