CombustionChamber |
appearance as argument number 1 |
![]() |
(documentation CombustionChamber EnglishLanguage "Any host of a Hole that is intended to contain Combustion events.") | Cars.kif 1693-1694 | |
(subclass CombustionChamber Device) | Cars.kif 1691-1691 |
appearance as argument number 2 |
![]() |
(subclass CatalyticConverter CombustionChamber) | Cars.kif 1703-1703 | |
(termFormat EnglishLanguage CombustionChamber "combustion chamber") | Cars.kif 1692-1692 |
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 2675-2688 | |
(=> (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 3792-3808 |
![]() |
![]() |