Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(instance BritishThermalUnit CompositeUnitOfMeasure) Merge.kif 7487-7487 British thermal unit is an instance of composite unit of measure
(documentation BritishThermalUnit EnglishLanguage "An energy measure.") Merge.kif 7489-7489 British thermal unit is an instance of composite unit of measure

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


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

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


(equal
    (MeasureFn ?NUMBER BritishThermalUnit)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1055.05585262) Joule))
Merge.kif 7491-7493 equal X british thermal unit(s) and X 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners