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 13859-13861 | |
(domain meltingPoint 2 TemperatureMeasure) | Merge.kif 13858-13858 | meltingPoint の数値 2 引数は 温度測定 の instance では %n |
(domainSubclass meltingPoint 1 PureSubstance) | Merge.kif 13857-13857 | meltingPoint の数値 1 引数は 純物質 のsubclass では %n |
(instance meltingPoint BinaryPredicate) | Merge.kif 13856-13856 | meltingPoint は 2進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage meltingPoint "%2 %n 是 %1 的 melting 点") | domainEnglishFormat.kif 1679-1679 | |
(format ChineseTraditionalLanguage meltingPoint "%2 %n 是 %1 的 melting 點") | domainEnglishFormat.kif 1678-1678 | |
(format EnglishLanguage meltingPoint "%2 is %n a melting point of %1") | domainEnglishFormat.kif 1677-1677 | |
(termFormat ChineseLanguage meltingPoint "熔点") | domainEnglishFormat.kif 36983-36983 | |
(termFormat ChineseTraditionalLanguage meltingPoint "熔點") | domainEnglishFormat.kif 36982-36982 | |
(termFormat EnglishLanguage meltingPoint "melting point") | domainEnglishFormat.kif 36981-36981 |
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 13863-13878 |
|
(=> (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 13880-13893 |
|
(=> (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 (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 13820-13829 | |
(=> (and (meltingPoint ?TYPE (MeasureFn ?MELT ?U)) (boilingPoint ?TYPE (MeasureFn ?BOIL ?U))) (greaterThanOrEqualTo ?BOIL ?MELT)) |
Merge.kif 13895-13899 |
appearance as argument number 0 |