ExhaustValve
|
|
appearance as argument number 1 |
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 | Exhaust valve is a subclass of valve |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2662-2662 | 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 2663-2663 | 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 2659-2659 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2665-2673 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2675-2681 |
|