| ExhaustValve | |
| appearance as argument number 1 |
|
|
| (documentation ExhaustValve EnglishLanguage "A Valve that opens to let the Exhaust escape into the ExhaustManifold.") | Cars.kif 2645-2646 | |
| (documentation ExhaustValve EnglishLanguage "A Valve that opens to let the FuelVapor in to the CombustionChamber.") | Cars.kif 2670-2671 | |
| (subclass ExhaustValve Valve) | Cars.kif 2643-2643 | subclass ExhaustValve and Valve |
| (typicalPart ExhaustValve FourStrokeEngine) | Cars.kif 2647-2647 | typicalPart ExhaustValve and FourStrokeEngine |
| (typicallyContainsPart ExhaustValve FourStrokeEngine) | Cars.kif 2648-2648 | typicallyContainsPart ExhaustValve and FourStrokeEngine |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ExhaustValve "exhaust valve") | Cars.kif 2644-2644 |
| antecedent |
|
|
| (=> (instance ?EV ExhaustValve) (hasPurpose ?EV (exists (?E ?T) (and (instance ?T Transfer) (objectTransferred ?T ?E) (path ?T ?EV) (instance ?E Exhaust))))) |
Cars.kif 2650-2658 | |
| (=> (instance ?EV ExhaustValve) (hasPurpose ?EV (exists (?EM) (and (instance ?EM ExhaustManifold) (connectedEngineeringComponents ?EV ?EM))))) |
Cars.kif 2660-2666 |
|
|
|