Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Valve
Valve

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


(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 910-910
(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
(lexicon Valve LexNoun "valve") engineering.kif 911-911
(partType Valve VentedChestSeal) Medicine.kif 850-850 partType Valve and VentedChestSeal
(partTypes Valve Faucet) engineering.kif 933-933 partTypes Valve and Faucet
(partTypes Valve Tube) engineering.kif 934-934 partTypes Valve and Tube
(subclass Valve EngineeringComponent) engineering.kif 912-912 Valve è una sottoclasse di Meccanismo
(subclass Valve FluidPowerDevice) engineering.kif 913-913 Valve è una sottoclasse di FluidPowerDevice

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


(subclass BleederValve Valve) Cars.kif 1551-1551 BleederValve è una sottoclasse di Valve
(subclass DirectionalControlValve Valve) engineering.kif 957-957 DirectionalControlValve è una sottoclasse di Valve
(subclass ExhaustValve Valve) Cars.kif 2641-2641 ExhaustValve è una sottoclasse di Valve
(subclass IntakeValve Valve) Cars.kif 2666-2666 IntakeValve è una sottoclasse di Valve
(subclass ManifoldHeatControlValve Valve) Cars.kif 3240-3240 ManifoldHeatControlValve è una sottoclasse di Valve
(subclass PositiveCrankcaseVentilationValve Valve) Cars.kif 3796-3796 PositiveCrankcaseVentilationValve è una sottoclasse di Valve
(subclass PressureControlValve Valve) engineering.kif 966-966 PressureControlValve è una sottoclasse di Valve
(subclass SalineLock Valve) Medicine.kif 1099-1099 SalineLock è una sottoclasse di Valve
(subclass VolumeControlValve Valve) engineering.kif 976-976 VolumeControlValve è una sottoclasse di Valve
(termFormat ChineseLanguage Valve "阀") domainEnglishFormat.kif 61216-61216
(termFormat ChineseTraditionalLanguage Valve "閥") domainEnglishFormat.kif 61215-61215
(termFormat EnglishLanguage Valve "valve") domainEnglishFormat.kif 61214-61214

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 914-925

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


(=>
    (instance ?B Bugle)
    (not
        (exists (?V)
            (and
                (instance ?V Valve)
                (part ?V ?B)))))
Music.kif 1281-1287
(=>
    (instance ?GF GreaseFitting)
    (exists (?V)
        (and
            (instance ?V Valve)
            (part ?V ?GF))))
Cars.kif 2996-3001
(=>
    (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 3829-3849


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