PressureControlValve - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PressureControlValve EnglishLanguage "valve that controls the pressure in a fluid")	engineering.kif 1276-1277
(lexicon PressureControlValve LexNoun "{pressure control} valve")	engineering.kif 1278-1278
(subclass PressureControlValve Valve)	engineering.kif 1279-1279	Pressure control valve is a subclass of valve

appearance as argument number 2

(subclass ReliefValve PressureControlValve)	engineering.kif 1284-1284	Relief valve is a subclass of pressure control valve
(termFormat ChineseLanguage PressureControlValve "压力控制阀")	domainEnglishFormat.kif 47295-47295	Relief valve is a subclass of pressure control valve
(termFormat ChineseTraditionalLanguage PressureControlValve "壓力控制閥")	domainEnglishFormat.kif 47294-47294	Relief valve is a subclass of pressure control valve
(termFormat EnglishLanguage PressureControlValve "pressure control valve")	domainEnglishFormat.kif 47293-47293	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)))))))

Mid-level-ontology.kif 26402-26417

If an object is an instance of whirlpool tub,
then there exists another object such that the other object is an instance of pressure control valve and the other object is a part of the object and the other object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of water and the entity is located at the object and the other entity is an instance of creation and the other object is an instrument for the other entity and the third entity is a result of the other entity and the third entity is an instance of motion and the third entity is located at the entity

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

KB Term:			Term intersection

English Word: