Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  RankineDegree

Sigma KEE - RankineDegree
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 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)


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners