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 | PressureControlValve est une sous-classe de Valve |
appearance as argument number 2 |
(subclass ReliefValve PressureControlValve) | engineering.kif 971-971 | ReliefValve est une sous-classe de PressureControlValve |
(termFormat ChineseLanguage PressureControlValve "压力控制阀") | domainEnglishFormat.kif 47266-47266 | |
(termFormat ChineseTraditionalLanguage PressureControlValve "壓力控制閥") | domainEnglishFormat.kif 47265-47265 | |
(termFormat EnglishLanguage PressureControlValve "pressure control valve") | domainEnglishFormat.kif 47264-47264 |
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 25340-25355 |
|