No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2666-2667 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2691-2692 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2664-2664 |
ExhaustValve est une sous-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2668-2668 |
typicalPart ExhaustValve and FourStrokeEngine |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2669-2669 |
typicallyContainsPart ExhaustValve and FourStrokeEngine |