No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2660-2661 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2685-2686 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2658-2658 |
ExhaustValve 是 阀 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2662-2662 |
ExhaustValve typically 是 FourStrokeEngine 的 part |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2663-2663 |
FourStrokeEngine typically 有 part ExhaustValve |