Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - IntakeValve
IntakeValve(intake valve)intake_valve

appearance as argument number 1
-------------------------


(subclass IntakeValve Valve) Cars.kif 2521-2521 Intake valve is a subclass of valve
(typicalPart IntakeValve FourStrokeEngine) Cars.kif 2525-2525 A intake valve is typically a part of a four stroke engine
(typicallyContainsPart IntakeValve FourStrokeEngine) Cars.kif 2526-2526 A four stroke engine typically has a part intake valve

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage IntakeValve "intake valve") Cars.kif 2522-2522

antecedent
-------------------------


(=>
    (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 2528-2541 If X is an instance of intake valve, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of automobile (3) Z is an instance of fuel vapor (4) W is an instance of combustion chamber (5) V is an instance of transfer (6) X is a part of Y (7) W is a part of Y (8) Z is a patient of V (9) X is path along which V occurs (10) V ends up at W

consequent
-------------------------


(=>
    (instance ?S Supercharger)
    (hasPurpose ?S
        (exists (?T ?IV ?A)
            (and
                (instance ?T GasMotion)
                (origin ?T ?S)
                (instance ?IV IntakeValve)
                (destination ?T ?IV)
                (instance ?A Air)
                (objectTransferred ?T ?A)
                (holdsDuring
                    (WhenFn ?T)
                    (attribute ?A Pressurized))))))		 Cars.kif 5084-5096 If X is an instance of supercharger, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of gas motion (3) Y originates at X (4) Z is an instance of intake valve (5) Y ends up at Z (6) W is an instance of air (7) the object transferred in Y is W (8) pressurized is an attribute of W holds during the time of existence of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners