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 是 阀 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2668-2668 |
ExhaustValve typically 是 FourStrokeEngine 的 part |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2669-2669 |
FourStrokeEngine typically 有 part ExhaustValve |