No TPTP formula. May not be expressible in strict first order. | Cars.kif 4929-4929 | Ratchet est une sous-classe de Wrench |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4970-4970 | SnapOnRatchet est une sous-classe de Ratchet |