InchMercury(英寸汞) |
appearance as argument number 1 |
(documentation InchMercury ChineseLanguage "InchMercury 是 barometricPressure 的一种 UnitOfMeasure,它用来表示被气压环绕的汞气压计上汞柱的英寸数目。") | chinese_format.kif 2680-2681 | |
(documentation InchMercury EnglishLanguage "InchMercury is a UnitOfMeasure for barometricPressure. It is used to express the number of inches of mercury supported in a mercurial barometer by the surrounding air pressure.") | Merge.kif 7856-7859 | |
(documentation InchMercury JapaneseLanguage "InchMercury は、barometricPressure のため の UnitOfMeasure で、周囲の気圧によって水銀気圧計で支持される水銀のインチ数を表すために使用さ れる。") | japanese_format.kif 1401-1403 | |
(instance InchMercury UnitOfAtmosphericPressure) | Merge.kif 7854-7854 | 例 英寸汞 and UnitOfAtmosphericPressure |
appearance as argument number 2 |
(termFormat ChineseLanguage InchMercury "英寸汞") | domainEnglishFormat.kif 29497-29497 | |
(termFormat ChineseTraditionalLanguage InchMercury "英寸汞") | domainEnglishFormat.kif 29496-29496 | |
(termFormat EnglishLanguage InchMercury "inch mercury") | domainEnglishFormat.kif 29495-29495 |
antecedent |
consequent |
(<=> (and (instance ?X Region) (holdsDuring ?T (property ?X StandardAmbientTemperaturePressure))) (holdsDuring ?T (and (airTemperature ?X (MeasureFn 298.15 KelvinDegree)) (barometricPressure ?X (MeasureFn 29.530 InchMercury))))) |
Weather.kif 2676-2686 | 例 Entity and Region 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and 測量 298.15 and 凱文度 是 Entity 的 air 溫度 測量 29.530 and 英寸汞 是 Entity 的 barometric 壓力 |
(=> (and (instance ?SYSTEM HighPressureWeatherSystem) (eventLocated ?SYSTEM ?AREA)) (and (barometricPressure ?AREA (MeasureFn ?AMOUNT InchMercury)) (greaterThan ?AMOUNT 30.2))) |
Weather.kif 798-804 |
|
(=> (and (instance ?SYSTEM LowPressureWeatherSystem) (instance ?AREA Region) (eventLocated ?SYSTEM ?AREA)) (and (barometricPressure ?AREA (MeasureFn ?AMOUNT InchMercury)) (lessThan ?AMOUNT 29.5))) |
Weather.kif 543-550 |