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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PressureControlValve

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 963-964
(lexicon PressureControlValve LexNoun "{pressure control} valve") engineering.kif 965-965
(subclass PressureControlValve Valve) engineering.kif 966-966 Pressure control valve is a subclass of valve

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


(subclass ReliefValve PressureControlValve) engineering.kif 971-971 Relief valve is a subclass of pressure control valve
(termFormat ChineseLanguage PressureControlValve "压力控制阀") domainEnglishFormat.kif 47264-47264
(termFormat ChineseTraditionalLanguage PressureControlValve "壓力控制閥") domainEnglishFormat.kif 47263-47263
(termFormat EnglishLanguage PressureControlValve "pressure control valve") domainEnglishFormat.kif 47262-47262

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)))))))
Mid-level-ontology.kif 25283-25298


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