Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
RankineDegree(rankine degree)
|  | Rankine, Rankine_scale |
| appearance as argument number 1 |
|
|
| (instance RankineDegree UnitOfTemperature) | Merge.kif 7448-7448 | Rankine degree is an instance of unit of temperature |
| (documentation RankineDegree EnglishLanguage "A TemperatureMeasure. Note that 0 RankineDegrees is the same as the absolute zero (i.e. 0 KelvinDegrees).") | Merge.kif 7450-7452 | Rankine degree is an instance of unit of temperature |
| (externalImage RankineDegree "http://upload.wikimedia.org/wikipedia/en/e/ e1/ Comparison_of_temperature_scales.png") | pictureList.kif 10218-10218 | Rankine degree is an instance of unit of temperature |
| appearance as argument number 2 |
|
|
| statement |
|
|
| (equal (MeasureFn ?NUMBER RankineDegree) (MeasureFn (MultiplicationFn ?NUMBER 1.8) KelvinDegree)) |
Merge.kif 7454-7456 | equal X rankine degree(s) and X and 1.8 kelvin degree(s) |
|