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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RankineDegree
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 7312-7314
(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 7310-7310

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage RankineDegree "兰金度") domainEnglishFormat.kif 48770-48770
(termFormat ChineseTraditionalLanguage RankineDegree "蘭金度") domainEnglishFormat.kif 48769-48769
(termFormat EnglishLanguage RankineDegree "rankine degree") domainEnglishFormat.kif 48768-48768

statement
-------------------------


(equal
    (MeasureFn ?NUMBER RankineDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.8) KelvinDegree))
Merge.kif 7316-7318


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



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