CombustionChamber |
appearance as argument number 1 |
(documentation CombustionChamber EnglishLanguage "Any host of a HoleRegion that is intended to contain Combustion events.") | Cars.kif 1703-1704 | |
(subclass CombustionChamber Device) | Cars.kif 1701-1701 |
appearance as argument number 2 |
(subclass CatalyticConverter CombustionChamber) | Cars.kif 1713-1713 | |
(termFormat EnglishLanguage CombustionChamber "combustion chamber") | Cars.kif 1702-1702 |
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 2673-2686 | |
(=> (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 3803-3819 |