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 | 英寸汞 是 UnitOfAtmosphericPressure 的 instance |
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 |
(=> (and (instance ?X ?Y) (subclass ?Y PureSubstance) (barometricPressure ?X (MeasureFn ?PRES InchMercury)) (greaterThan 29.92 ?PRES) (boilingPoint ?Y (MeasureFn ?BOIL KelvinDegree)) (measure ?X (MeasureFn ?TEMP KelvinDegree)) (greaterThan ?TEMP ?BOIL)) (attribute ?X Gas)) |
Merge.kif 13820-13829 | |
(=> (and (instance ?X ?Y) (subclass ?Y PureSubstance) (meltingPoint ?Y (MeasureFn ?MELT KelvinDegree)) (barometricPressure ?X (MeasureFn ?PRES InchMercury)) (greaterThan ?PRES 29.92) (measure ?X (MeasureFn ?TEMP KelvinDegree)) (lessThan ?TEMP ?MELT)) (attribute ?X Solid)) |
Merge.kif 13842-13851 |
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 | 实体 是 地区 的 instance 和 那个 实体 有 标准状况 的 attribute 在 时间位置 holdsDuring 若且唯若 298.15 凯文度 是 那个 实体 的 air 温度 和 29.530 英寸汞 是 那个 实体 的 barometric 压力 在 那个 时间位置 holdsDuring |
(=> (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 |