|
|
  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 7222-7224 | |
| (externalImage RankineDegree "http://upload.wikimedia.org/wikipedia/en/e/ e1/ Comparison_of_temperature_scales.png") | pictureList.kif 10230-10230 | |
| (instance RankineDegree UnitOfTemperature) | Merge.kif 7220-7220 | Rankine degree is an instance of UnitOfTemperature |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RankineDegree "兰金度") | domainEnglishFormat.kif 48753-48753 | |
| (termFormat ChineseTraditionalLanguage RankineDegree "蘭金度") | domainEnglishFormat.kif 48752-48752 | |
| (termFormat EnglishLanguage RankineDegree "rankine degree") | domainEnglishFormat.kif 48751-48751 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER RankineDegree) (MeasureFn (MultiplicationFn ?NUMBER 1.8) KelvinDegree)) |
Merge.kif 7226-7228 | A real number rankine degree(s) is equal to the real number and 1.8 kelvin degree(s) |
|
|
|
