ExhaustValve |
appearance as argument number 1 |
(documentation ExhaustValve EnglishLanguage "A Valve that opens to let the Exhaust escape into the ExhaustManifold.") | Cars.kif 2666-2667 | |
(documentation ExhaustValve EnglishLanguage "A Valve that opens to let the FuelVapor in to the CombustionChamber.") | Cars.kif 2691-2692 | |
(subclass ExhaustValve Valve) | Cars.kif 2664-2664 | ExhaustValve 是 阀 的 subclass |
(typicalPart ExhaustValve FourStrokeEngine) | Cars.kif 2668-2668 | ExhaustValve typically 是 FourStrokeEngine 的 part |
(typicallyContainsPart ExhaustValve FourStrokeEngine) | Cars.kif 2669-2669 | FourStrokeEngine typically 有 part ExhaustValve |
appearance as argument number 2 |
(termFormat EnglishLanguage ExhaustValve "exhaust valve") | Cars.kif 2665-2665 |
antecedent |
(=> (instance ?EV ExhaustValve) (hasPurpose ?EV (exists (?E ?T) (and (instance ?T Transfer) (objectTransferred ?T ?E) (path ?T ?EV) (instance ?E Exhaust))))) |
Cars.kif 2671-2679 | |
(=> (instance ?EV ExhaustValve) (hasPurpose ?EV (exists (?EM) (and (instance ?EM ExhaustManifold) (connectedEngineeringComponents ?EV ?EM))))) |
Cars.kif 2681-2687 |