PositiveCrankcaseVentilationValve |
appearance as argument number 1 |
![]() |
(documentation PositiveCrankcaseVentilationValve EnglishLanguage "A valve that is designed to send unburned fuel that escapes into the Crankcase back to the CombustionChamber.") | Cars.kif 3874-3876 | |
(subclass PositiveCrankcaseVentilationValve Valve) | Cars.kif 3872-3872 | PositiveCrankcaseVentilationValve は Valve の subclass では |
(typicalPart PositiveCrankcaseVentilationValve FourStrokeEngine) | Cars.kif 3877-3877 | typicalPart PositiveCrankcaseVentilationValve and FourStrokeEngine |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage PositiveCrankcaseVentilationValve "positive crankcase ventilation valve") | Cars.kif 3873-3873 |
antecedent |
![]() |
(=> (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 3879-3895 |
|
![]() |
![]() |