RankineDegree
|
|
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 | RankineDegree è un' istanza di UnitOfTemperature |
appearance as argument number 2 |
(termFormat ChineseLanguage RankineDegree "兰金度") | domainEnglishFormat.kif 48772-48772 | |
(termFormat ChineseTraditionalLanguage RankineDegree "蘭金度") | domainEnglishFormat.kif 48771-48771 | |
(termFormat EnglishLanguage RankineDegree "rankine degree") | domainEnglishFormat.kif 48770-48770 |
statement |
(equal (MeasureFn ?NUMBER RankineDegree) (MeasureFn (MultiplicationFn ?NUMBER 1.8) KelvinDegree)) |
Merge.kif 7317-7319 | NumeroReale RankineDegree(s is uguale a NumeroReale + 1.8 KelvinDegree(s |