Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   PositiveCrankcaseVentilationValve
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PositiveCrankcaseVentilationValve Valve) | Cars.kif 3680-3680 | Positive crankcase ventilation valve is a subclass of valve |
| (documentation PositiveCrankcaseVentilationValve EnglishLanguage "A valve that is designed to send unburned fuel that escapes into the Crankcase back to the CombustionChamber.") | Cars.kif 3682-3684 | Positive crankcase ventilation valve is a subclass of valve |
| (typicalPart PositiveCrankcaseVentilationValve FourStrokeEngine) | Cars.kif 3685-3685 | A positive crankcase ventilation valve is typically a part of a four stroke engine |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PositiveCrankcaseVentilationValve "positive crankcase ventilation valve") | Cars.kif 3681-3681 |
| 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 3687-3703 | If X is an instance of positive crankcase ventilation valve, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of crankcase (3) Z is an instance of fuel (4) W is an instance of combustion chamber (5) V is an instance of transfer (6) U is an instance of automobile (7) Y is a part of U (8) W is a part of U (9) X is a part of U (10) V originates at Y (11) V ends up at W (12) the object transferred in V is Z (13) X is path along which V occurs |
|