| 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 13948-13949 | |
| (domain boilingPoint 2 TemperatureMeasure) | Merge.kif 13947-13947 | boilingPoint の数値 2 引数は 温度測定 の instance では |
| (domainSubclass boilingPoint 1 PureSubstance) | Merge.kif 13946-13946 | boilingPoint の数値 1 引数は 純物質 のsubclass では |
| (instance boilingPoint BinaryPredicate) | Merge.kif 13945-13945 | boilingPoint は 2進述語 の instance では |
| 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 11516-11516 | |
| (termFormat ChineseTraditionalLanguage boilingPoint "沸點") | domainEnglishFormat.kif 11515-11515 | |
| (termFormat EnglishLanguage boilingPoint "boiling point") | domainEnglishFormat.kif 11514-11514 |
| 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 13994-14007 |
|
| (=> (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 13984-13992 | |
| (=> (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 14106-14119 |
|
| (=> (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 ?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 13951-13960 | |
| (=> (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 (meltingPoint ?TYPE (MeasureFn ?MELT ?U)) (boilingPoint ?TYPE (MeasureFn ?BOIL ?U))) (greaterThanOrEqualTo ?BOIL ?MELT)) |
Merge.kif 14048-14052 |
| 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