No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1364-1364 |
BallJoint e' uma sub-classe de MechanicalJoint |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1399-1399 |
Bearing e' uma sub-classe de MechanicalJoint |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2090-2090 |
CVJoint e' uma sub-classe de MechanicalJoint |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1374-1374 |
Hinge e' uma sub-classe de MechanicalJoint |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4214-4214 |
UniversalJoint e' uma sub-classe de MechanicalJoint |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1377-1377 |
|