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 | CombustionChamber ist eine teilkategorie von Device |
appearance as argument number 2 |
(subclass CatalyticConverter CombustionChamber) | Cars.kif 1713-1713 | CatalyticConverter ist eine teilkategorie von CombustionChamber |
(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 |
|