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 |
AngularVelocity e' uma instancia de PhysicalDimension |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 283-283 |
physicalDomain AngularVelocity, Torque and Rotary |