No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1364-1364 |
子類 BallJoint and MechanicalJoint |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1399-1399 |
子類 Bearing and MechanicalJoint |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2090-2090 |
子類 CVJoint and MechanicalJoint |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1374-1374 |
子類 合頁 and MechanicalJoint |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4214-4214 |
子類 UniversalJoint and MechanicalJoint |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1377-1377 |
|