| RankineDegree(rankine degree)
| | Rankine, Rankine_scale |
| appearance as argument number 1 |
|
|
| (documentation RankineDegree ChineseLanguage "这是一个 TemperatureMeasure。注：0 RankineDegree 和绝对零度是一样的(即是 0 KelvinDegrees)。") | chinese_format.kif 2610-2611 | |
| (documentation RankineDegree EnglishLanguage "A TemperatureMeasure. Note that 0 RankineDegrees is the same as the absolute zero (i.e. 0 KelvinDegrees).") | Merge.kif 7322-7324 | |
| (documentation RankineDegree JapaneseLanguage "TemperatureMeasure。 注： 0 RankineDegree は絶対零度 (つまり、0 KelvinDegrees)。") | japanese_format.kif 1323-1324 | |
| (externalImage RankineDegree "http://upload.wikimedia.org/wikipedia/en/e/ e1/ Comparison_of_temperature_scales.png") | pictureList.kif 10218-10218 | |
| (instance RankineDegree UnitOfTemperature) | Merge.kif 7320-7320 | Rankine degree is an instance of unit of temperature |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RankineDegree "兰金度") | domainEnglishFormat.kif 48803-48803 | |
| (termFormat ChineseTraditionalLanguage RankineDegree "蘭金度") | domainEnglishFormat.kif 48802-48802 | |
| (termFormat EnglishLanguage RankineDegree "rankine degree") | domainEnglishFormat.kif 48801-48801 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER RankineDegree) (MeasureFn (MultiplicationFn ?NUMBER 1.8) KelvinDegree)) |
Merge.kif 7326-7328 | A real number rankine degree(s) is equal to the real number and 1.8 kelvin degree(s) |
|
|
|