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 兰金度UnitOfTemperatureinstance

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 实数 兰金度 equal 那个 实数 和 1.8 凯文度


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