boilingPoint |
appearance as argument number 1 |
(documentation boilingPoint ChineseLanguage "这是当 PureSubstance 从 Liquid 变成 Gas 状态的温度。") | chinese_format.kif 1418-1419 | |
(documentation boilingPoint EnglishLanguage "The temperature at which a PureSubstance changes state from a Liquid to a Gas.") | Merge.kif 13795-13796 | |
(domain boilingPoint 2 TemperatureMeasure) | Merge.kif 13794-13794 | boilingPoint の数値 2 引数は 温度測定 の instance では %n |
(domainSubclass boilingPoint 1 PureSubstance) | Merge.kif 13793-13793 | boilingPoint の数値 1 引数は 純物質 のsubclass では %n |
(instance boilingPoint BinaryPredicate) | Merge.kif 13792-13792 | boilingPoint は 2進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage boilingPoint "%2 %n 是 %1 的 boiling 点") | domainEnglishFormat.kif 320-320 | |
(format ChineseTraditionalLanguage boilingPoint "%2 %n 是 %1 的 boiling 點") | domainEnglishFormat.kif 319-319 | |
(format EnglishLanguage boilingPoint "%2 is %n a boiling point of %1") | domainEnglishFormat.kif 318-318 | |
(termFormat ChineseLanguage boilingPoint "沸点") | domainEnglishFormat.kif 11507-11507 | |
(termFormat ChineseTraditionalLanguage boilingPoint "沸點") | domainEnglishFormat.kif 11506-11506 | |
(termFormat EnglishLanguage boilingPoint "boiling point") | domainEnglishFormat.kif 11505-11505 |
antecedent |
(=> (and (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (instance ?SUBSTANCE ?TYPE) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature) (greaterThanOrEqualTo ?TEMP2 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Gas)) (exists (?BOIL) (and (overlapsTemporally (WhenFn ?BOIL) ?TIME) (instance ?BOIL Boiling) (patient ?BOIL ?SUBSTANCE))))) |
Merge.kif 13841-13854 |
|
(=> (and (instance ?BOILING Boiling) (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (instance ?SUBSTANCE ?TYPE) (patient ?BOILING ?SUBSTANCE) (holdsDuring (WhenFn ?BOILING) (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature)) (greaterThanOrEqualTo ?TEMP2 ?TEMP1)) |
Merge.kif 13831-13839 | |
(=> (and (instance ?EVAP Evaporating) (boilingPoint ?CLASS (MeasureFn ?BOILVAL ?MEAS)) (instance ?OBJ ?CLASS) (measure ?OBJ (MeasureFn ?VAL ?MEAS)) (instance ?MEAS UnitOfTemperature) (patient ?EVAP ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (greaterThan ?BOILVAL ?VAL) (holdsDuring (BeginFn (WhenFn ?EVAP)) (attribute ?PART Liquid)) (holdsDuring (EndFn (WhenFn ?EVAP)) (attribute ?PART Gas))))) |
Merge.kif 13953-13966 |
|
(=> (and (instance ?SUBSTANCE ?TYPE) (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (meltingPoint ?TYPE (MeasureFn ?TEMP2 ?MEASURE)) (instance ?MEASURE UnitOfTemperature) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP3 ?MEASURE))) (greaterThan ?TEMP3 ?TEMP2) (lessThan ?TEMP3 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Liquid)) (exists (?MELT) (and (overlapsTemporally (WhenFn ?MELT) ?TIME) (instance ?MELT Melting) (patient ?MELT ?SUBSTANCE))))) |
Merge.kif 13863-13878 |
|
(=> (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 13798-13807 | |
(=> (and (instance ?X ?Y) (subclass ?Y PureSubstance) (boilingPoint ?Y (MeasureFn ?BOIL KelvinDegree)) (meltingPoint ?Y (MeasureFn ?MELT KelvinDegree)) (measure ?X (MeasureFn ?TEMP KelvinDegree)) (greaterThan ?TEMP ?MELT) (lessThan ?TEMP ?BOIL)) (attribute ?X Liquid)) |
Merge.kif 13809-13818 | |
(=> (and (meltingPoint ?TYPE (MeasureFn ?MELT ?U)) (boilingPoint ?TYPE (MeasureFn ?BOIL ?U))) (greaterThanOrEqualTo ?BOIL ?MELT)) |
Merge.kif 13895-13899 |
appearance as argument number 0 |