ExhaustValve
|
|
appearance as argument number 1 |
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 | Exhaust valve is a subclass of valve |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2668-2668 | A exhaust valve is typically a part of a four stroke engine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2669-2669 | A four stroke engine typically has a part exhaust valve |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2665-2665 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2671-2679 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2681-2687 |
|