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 | The number 1 argument of physical domain is an instance of physical dimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 279-279 | The number 2 argument of physical domain is an instance of physical dimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 280-280 | The number 3 argument of physical domain is an instance of physical domain |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 276-276 | physical domain is an instance of ternary predicate |
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 | Angular velocity and torque form physical domain rotary |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 285-285 | Pressure and volume flow form physical domain fluid power |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 282-282 | Velocity and force form physical domain translatory |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 284-284 | Voltage and current form physical domain electrical |