| 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 13905-13907 | |
| (domain meltingPoint 2 TemperatureMeasure) | Merge.kif 13904-13904 | meltingPoint の数値 2 引数は 温度測定 の instance では %n |
| (domainSubclass meltingPoint 1 PureSubstance) | Merge.kif 13903-13903 | meltingPoint の数値 1 引数は 純物質 のsubclass では %n |
| (instance meltingPoint BinaryPredicate) | Merge.kif 13902-13902 | 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 13909-13924 |
|
| (=> (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 13926-13939 |
|
| (=> (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 13855-13864 | |
| (=> (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 13866-13875 | |
| (=> (and (meltingPoint ?TYPE (MeasureFn ?MELT ?U)) (boilingPoint ?TYPE (MeasureFn ?BOIL ?U))) (greaterThanOrEqualTo ?BOIL ?MELT)) |
Merge.kif 13941-13945 |
| appearance as argument number 0 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners