TreeView Knowledge Base Browser - 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 3821-3823
(subclass PositiveCrankcaseVentilationValve Valve)	Cars.kif 3819-3819	Positive crankcase ventilation valve is a subclass of valve
(typicalPart PositiveCrankcaseVentilationValve FourStrokeEngine)	Cars.kif 3824-3824	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 3820-3820

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 3826-3842

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: