CombustionChamber |
appearance as argument number 1 |
(documentation CombustionChamber EnglishLanguage "Any host of a HoleRegion that is intended to contain Combustion events.") | Cars.kif 1697-1698 | |
(subclass CombustionChamber Device) | Cars.kif 1695-1695 |
appearance as argument number 2 |
(subclass CatalyticConverter CombustionChamber) | Cars.kif 1707-1707 | |
(termFormat EnglishLanguage CombustionChamber "combustion chamber") | Cars.kif 1696-1696 |
antecedent |
consequent |
(=> (instance ?IV IntakeValve) (hasPurpose ?IV (exists (?A ?FV ?CC ?T) (and (instance ?A Automobile) (instance ?FV FuelVapor) (instance ?CC CombustionChamber) (instance ?T Transfer) (part ?IV ?A) (part ?CC ?A) (patient ?T ?FV) (path ?T ?IV) (destination ?T ?CC))))) |
Cars.kif 2690-2703 | |
(=> (instance ?PCVV PositiveCrankcaseVentilationValve) (hasPurpose ?PCVV (exists (?CR ?F ?CC ?T ?A) (and (instance ?CR Crankcase) (instance ?F Fuel) (instance ?CC CombustionChamber) (instance ?T Transfer) (instance ?A Automobile) (part ?CR ?A) (part ?CC ?A) (part ?PCVV ?A) (origin ?T ?CR) (destination ?T ?CC) (objectTransferred ?T ?F) (path ?T ?PCVV))))) |
Cars.kif 3818-3834 |