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


KB Term:  Term intersection
English Word: 

  Valve

 Sigma KEE - Valve
Valve(valve)
ball_valve, butterfly_valve, valve

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


(partTypes Valve VentedChestSeal) Medicine.kif 829-829 Every valve is a part of a vented chest seal
(documentation Valve EnglishLanguage "A Device that regulates, directs or controls the FlowFn of a Fluid (Gas, Liquid, fluidized solids, or slurries) by opening, closing, or partially obstructing various passageways. (Wikipedia)") engineering.kif 1317-1317 Every valve is a part of a vented chest seal
(lexicon Valve LexNoun "valve") engineering.kif 1318-1318 Every valve is a part of a vented chest seal
(subclass Valve EngineeringComponent) engineering.kif 1319-1319 Valve is a subclass of engineering component
(subclass Valve FluidPowerDevice) engineering.kif 1320-1320 Valve is a subclass of fluid power device
(partTypes Valve Faucet) engineering.kif 1340-1340 Every valve is a part of a faucet
(partTypes Valve Tube) engineering.kif 1341-1341 Every valve is a part of a tube
(externalImage Valve "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b5/ Water_valves_with_spigots.jpg/ 200px_Water_valves_with_spigots.jpg") pictureList.kif 1283-1283 Every valve is a part of a tube

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


(subclass BleederValve Valve) Cars.kif 1430-1430 Bleeder valve is a subclass of valve
(subclass ExhaustValve Valve) Cars.kif 2496-2496 Exhaust valve is a subclass of valve
(subclass IntakeValve Valve) Cars.kif 2521-2521 Intake valve is a subclass of valve
(subclass ManifoldHeatControlValve Valve) Cars.kif 3145-3145 Manifold heat control valve is a subclass of valve
(subclass PositiveCrankcaseVentilationValve Valve) Cars.kif 3680-3680 Positive crankcase ventilation valve is a subclass of valve
(subclass SalineLock Valve) Medicine.kif 1080-1080 Saline lock is a subclass of valve
(termFormat EnglishLanguage Valve "valve") domainEnglishFormat.kif 61215-61215 Saline lock is a subclass of valve
(termFormat ChineseTraditionalLanguage Valve "閥") domainEnglishFormat.kif 61216-61216 Saline lock is a subclass of valve
(termFormat ChineseLanguage Valve "阀") domainEnglishFormat.kif 61217-61217 Saline lock is a subclass of valve
(subclass DirectionalControlValve Valve) engineering.kif 1364-1364 Directional control valve is a subclass of valve
(subclass PressureControlValve Valve) engineering.kif 1373-1373 Pressure control valve is a subclass of valve
(subclass VolumeControlValve Valve) engineering.kif 1400-1400 Volume control valve is a subclass of valve

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


(=>
    (instance ?V Valve)
    (hasPurpose ?V
        (exists (?FLUID ?PROC ?FLOW)
            (and
                (instance ?FLOW Transfer)
                (path ?FLOW ?V)
                (patient ?FLOW ?FLUID)
                (attribute ?FLUID Fluid)
                (instance ?PROC Process)
                (instrument ?PROC ?V)
                (patient ?PROC ?FLOW)))))		 engineering.kif 1321-1332 If X is an instance of valve, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of transfer (3) X is path along which W occurs (4) Y is a patient of W (5) fluid is an attribute of Y (6) Z is an instance of process (7) X is an instrument for Z (8) W is a patient of Z

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


(=>
    (instance ?GF GreaseFitting)
    (exists (?V)
        (and
            (instance ?V Valve)
            (part ?V ?GF))))		 Cars.kif 2908-2913 If X is an instance of grease fitting, then there exists Y such that Y is an instance of valve and Y is a part of X
(=>
    (instance ?RA RockerArm)
    (hasPurpose ?RA
        (exists (?P1 ?C ?P2 ?V ?O ?FSE)
            (and
                (instance ?P1 Pushing)
                (instance ?C Cam)
                (instance ?P2 Pushing)
                (instance ?V Valve)
                (instance ?O Opening)
                (instance ?FSE FourStrokeEngine)
                (part ?RA ?FSE)
                (part ?C ?FSE)
                (part ?V ?FSE)
                (instrument ?P1 ?C)
                (destination ?P1 ?RA)
                (instrument ?P2 ?RA)
                (destination ?P2 ?V)
                (causes ?P1 ?P2)
                (causes ?P2 ?O)
                (patient ?O ?V)))))		 Cars.kif 3713-3733 If X is an instance of rocker arm, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of pushing (3) Z is an instance of cam (4) W is an instance of pushing (5) V is an instance of valve (6) U is an instance of opening (7) T is an instance of four stroke engine (8) X is a part of T (9) Z is a part of T (10) V is a part of T (11) Z is an instrument for Y (12) Y ends up at X (13) X is an instrument for W (14) W ends up at V (15) Y causes W (16) W causes U (17) V is a patient of U
(=>
    (instance ?B Bugle)
    (not
        (exists (?V)
            (and
                (instance ?V Valve)
                (part ?V ?B)))))		 Music.kif 1285-1291 If X is an instance of bugle, then there doesn't exist Y such that Y is an instance of valve and Y is a part of X


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