unemploymentRateOfAreaInPeriod
|
|
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 は Valve の subclass では %n |
appearance as argument number 2 |
(subclass ReliefValve PressureControlValve) | engineering.kif 971-971 | ReliefValve は PressureControlValve の subclass では %n |
(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 |
|