PressureControlValve - Sigma Knowledge base Browser

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 47302-47302	Relief valve is a subclass of pressure control valve
(termFormat ChineseTraditionalLanguage PressureControlValve "壓力控制閥")	domainEnglishFormat.kif 47301-47301	Relief valve is a subclass of pressure control valve
(termFormat EnglishLanguage PressureControlValve "pressure control valve")	domainEnglishFormat.kif 47300-47300	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 25571-25586

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: