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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Watt
Wattقُوّة, وَاط, وَات,

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


(documentation Watt ChineseLanguage "这是国际单位制的功率单位,符号:W。它是一个量度量度功率的 UnitOfMeasure,也就是说能量转换或耗散除以 TimeDuration。这是以1 JouleSecondDuration 的 速率所产生的能量(或功)。Watt = J/ s = m^2*kg*s^(-3)。") Merge.kif 7124-7126
(documentation Watt EnglishLanguage "SI power measure. Symbol: W. A UnitOfMeasure that measures power, i.e. energy produced or expended divided by TimeDuration. It is the power which gives rise to the production of energy (or work) at the rate of one Joule per SecondDuration. Watt = J/ s = m^2*kg*s^(-3).") Merge.kif 7119-7123
(instance Watt CompositeUnitOfMeasure) Merge.kif 7117-7117
(instance Watt SystemeInternationalUnit) Merge.kif 7118-7118

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


(termFormat EnglishLanguage Watt "watt") domainEnglishFormat.kif 10846-10846

consequent
-------------------------


(=>
    (equal ?AMOUNT
        (MeasureFn ?X Joule))
    (equal ?AMOUNT
        (MeasureFn
            (MultiplicationFn 0.0002778 ?X) Watt)))
Economy.kif 2020-2022
(=>
    (instance ?N RealNumber)
    (equal
        (MeasureFn ?N Horsepower)
        (MeasureFn
            (MultiplicationFn ?N 746) Watt)))
Merge.kif 7132-7136


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners