| 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 7313-7315 | |
| (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 10220-10220 | |
| (instance RankineDegree UnitOfTemperature) | Merge.kif 7311-7311 | Rankine degree is an instance of unit of temperature |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RankineDegree "兰金度") | domainEnglishFormat.kif 48810-48810 | |
| (termFormat ChineseTraditionalLanguage RankineDegree "蘭金度") | domainEnglishFormat.kif 48809-48809 | |
| (termFormat EnglishLanguage RankineDegree "rankine degree") | domainEnglishFormat.kif 48808-48808 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER RankineDegree) (MeasureFn (MultiplicationFn ?NUMBER 1.8) KelvinDegree)) |
Merge.kif 7317-7319 | A real number rankine degree(s) is equal to the real number and 1.8 kelvin degree(s) |
|
|
|