PositiveCrankcaseVentilationValve - Sigma Knowledge base Browser

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	Positive crankcase ventilation valve is a subclass of valve
(typicalPart PositiveCrankcaseVentilationValve FourStrokeEngine)	Cars.kif 3877-3877	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 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

If a physical is an instance of positive crankcase ventilation valve,
then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of crankcase and the other entity is an instance of fuel and the third entity is an instance of combustion chamber and the fourth entity is an instance of transfer and the fifth entity is an instance of automobile and the entity is a part of the fifth entity and the third entity is a part of the fifth entity and the physical is a part of the fifth entity and the fourth entity originates at the entity and the fourth entity ends up at the third entity and the object transferred in the fourth entity is the other entity and the physical is path along which the fourth entity occurs

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: