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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BritishThermalUnit

Sigma KEE - BritishThermalUnit
BritishThermalUnit(british thermal unit)B.Th.U., BTU, British_thermal_unit

appearance as argument number 1
-------------------------


(documentation BritishThermalUnit ChineseLanguage "这是一种量度能量的单位。") chinese_format.kif 2617-2617
(documentation BritishThermalUnit EnglishLanguage "An energy measure.") Merge.kif 7351-7351
(documentation BritishThermalUnit JapaneseLanguage "エネルギー対策。") japanese_format.kif 1331-1331
(instance BritishThermalUnit CompositeUnitOfMeasure) Merge.kif 7349-7349 British thermal unit is an instance of composite unit of measure

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


(termFormat ChineseLanguage BritishThermalUnit "英国热量单位") domainEnglishFormat.kif 11999-11999
(termFormat ChineseTraditionalLanguage BritishThermalUnit "英國熱量單位") domainEnglishFormat.kif 11998-11998
(termFormat EnglishLanguage BritishThermalUnit "british thermal unit") domainEnglishFormat.kif 11997-11997

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


(equal
    (MeasureFn ?NUMBER BritishThermalUnit)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1055.05585262) Joule))
Merge.kif 7353-7355 A real number british thermal unit(s) is equal to the real number and 1055.05585262 joule(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