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