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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PressureControlValve
PressureControlValve

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

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


(subclass ReliefValve PressureControlValve) engineering.kif 971-971
(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 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