AngularVelocity
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 85-85 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5854-5854 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6096-6096 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 86-86 | 例 圓周角度速度 and 物理尺寸 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 283-283 | physicalDomain 圓周角度速度, 扭矩 and 旋轉 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7548-7548 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7547-7547 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7546-7546 |