meltingPoint |
appearance as argument number 1 |
![]() |
(documentation meltingPoint ChineseLanguage "这是当 PureSubstance 从 Solid 变成 Liquid 状态的温度。注:Arsenic 可以直接从 Solid 升华成 Gas,这意味着它的熔点和沸点是相等的。") | chinese_format.kif 1420-1421 | |
(documentation meltingPoint EnglishLanguage "The temperature at which a PureSubstance changes state from a Solid to a Liquid. Note that Arsenic can sublimate directly from Solid to Gas which means that its melting and boiling points are equal.") | Merge.kif 14012-14014 | |
(domain meltingPoint 2 TemperatureMeasure) | Merge.kif 14011-14011 | meltingPoint の数値 2 引数は 温度測定 の instance では |
(domainSubclass meltingPoint 1 PureSubstance) | Merge.kif 14010-14010 | meltingPoint の数値 1 引数は 純物質 のsubclass では |
(instance meltingPoint BinaryPredicate) | Merge.kif 14009-14009 | meltingPoint は 2進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage meltingPoint "%2 %n 是 %1 的 melting 点") | domainEnglishFormat.kif 1683-1683 | |
(format ChineseTraditionalLanguage meltingPoint "%2 %n 是 %1 的 melting 點") | domainEnglishFormat.kif 1682-1682 | |
(format EnglishLanguage meltingPoint "%2 is %n a melting point of %1") | domainEnglishFormat.kif 1681-1681 | |
(termFormat ChineseLanguage meltingPoint "熔点") | domainEnglishFormat.kif 36992-36992 | |
(termFormat ChineseTraditionalLanguage meltingPoint "熔點") | domainEnglishFormat.kif 36991-36991 | |
(termFormat EnglishLanguage meltingPoint "melting point") | domainEnglishFormat.kif 36990-36990 |
antecedent |
![]() |
(=> (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 14016-14031 |
|
(=> (and (instance ?SUBSTANCE ?TYPE) (meltingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature) (lessThan ?TEMP2 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Solid)) (exists (?FREEZE) (and (overlapsTemporally (WhenFn ?FREEZE) ?TIME) (instance ?FREEZE Freezing) (patient ?FREEZE ?SUBSTANCE))))) |
Merge.kif 14033-14046 |
|
(=> (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 13962-13971 | |
(=> (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 13973-13982 | |
(=> (and (meltingPoint ?TYPE (MeasureFn ?MELT ?U)) (boilingPoint ?TYPE (MeasureFn ?BOIL ?U))) (greaterThanOrEqualTo ?BOIL ?MELT)) |
Merge.kif 14048-14052 |
appearance as argument number 0 |
![]() |
![]() |
![]() |