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 | O argumento numero 1 de physicalDomain e' uma instancia de PhysicalDimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 279-279 | O argumento numero 2 de physicalDomain e' uma instancia de PhysicalDimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 280-280 | O argumento numero 3 de physicalDomain e' uma instancia de PhysicalDomain |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 276-276 | physicalDomain e' uma instancia de Predicado Ternario |
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 AngularVelocity, Torque and Rotary |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 285-285 | physicalDomain Pressure, VolumeFlow and FluidPower |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 282-282 | physicalDomain Velocity, Force and Translatory |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 284-284 | physicalDomain Voltage, Current and Electrical |
![]() |
![]() |