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


KB Term:  Term intersection
English Word: 

Sigma KEE - PressureControlValve
PressureControlValve(pressure control valve)

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


(documentation PressureControlValve EnglishLanguage "valve that controls the pressure in a fluid") engineering.kif 1370-1371
(lexicon PressureControlValve LexNoun "{pressure control} valve") engineering.kif 1372-1372
(subclass PressureControlValve Valve) engineering.kif 1373-1373 Pressure control valve is a subclass of valve

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


(termFormat EnglishLanguage PressureControlValve "pressure control valve") domainEnglishFormat.kif 47257-47257
(termFormat ChineseTraditionalLanguage PressureControlValve "壓力控制閥") domainEnglishFormat.kif 47258-47258
(termFormat ChineseLanguage PressureControlValve "压力控制阀") domainEnglishFormat.kif 47259-47259
(subclass ReliefValve PressureControlValve) engineering.kif 1395-1395 Relief valve is a subclass of pressure control valve

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


(=>
    (instance ?TUB WhirlpoolTub)
    (exists (?VALVE)
        (and
            (instance ?VALVE PressureControlValve)
            (part ?VALVE ?TUB)
            (hasPurpose ?VALVE
                (exists (?WATER ?CREATION ?MOTION)
                    (and
                        (instance ?WATER Water)
                        (located ?WATER ?TUB)
                        (instance ?CREATION Creation)
                        (instrument ?CREATION ?VALVE)
                        (result ?CREATION ?MOTION)
                        (instance ?MOTION Motion)
                        (located ?MOTION ?WATER)))))))		 engineering.kif 1375-1390 If X is an instance of whirlpool tub, then All of the following hold: (1) there exists Y such that Y is an instance of pressure control valve (2) Y is a part of X (3) Y has the purpose there exist Z, W (4) V such that Z is an instance of water (5) Z is located at X (6) W is an instance of creation (7) Y is an instrument for W (8) V is a result of W (9) V is an instance of motion (10) V is located at Z


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