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 e' uma sub-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2662-2662 |
typicalPart ExhaustValve and FourStrokeEngine |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2663-2663 |
typicallyContainsPart ExhaustValve and FourStrokeEngine |