| Watt | |
| appearance as argument number 1 |
|
|
| (documentation Watt ChineseLanguage "这是国际单位制的功率单位，符号：W。它是一个量度量度功率的 UnitOfMeasure，也就是说能量转换或耗散除以 TimeDuration。这是以1 Joule／SecondDuration 的 速率所产生的能量(或功)。Watt = J/ s = m^2*kg*s^(-3)。") | chinese_format.kif 2536-2538 | |
| (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 6893-6897 | |
| (documentation Watt JapaneseLanguage "SI電力測定。シンボル: W。電力を測定する UnitOfMeasure、 すなわち TimeDuration で割って生成または消費されるエネルギー。それは SecondDuration 当たり 1つの Joule の割合でエネルギー(または仕事)の生産を生み出す力である。") | japanese_format.kif 1237-1239 | |
| (instance Watt CompositeUnitOfMeasure) | Merge.kif 6890-6890 | Watt est une instance de CompositeUnitOfMeasure |
| (instance Watt SystemeInternationalUnit) | Merge.kif 6891-6891 | Watt est une instance de syst�me d'unit� international |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Watt "瓦") | domainEnglishFormat.kif 62531-62531 | |
| (termFormat ChineseTraditionalLanguage Watt "瓦") | domainEnglishFormat.kif 62530-62530 | |
| (termFormat EnglishLanguage Watt "watt") | domainEnglishFormat.kif 62529-62529 |
| consequent |
|
|
| (=> (equal ?AMOUNT (MeasureFn ?X Joule)) (equal ?AMOUNT (MeasureFn (MultiplicationFn 0.0002778 ?X) Watt))) |
Economy.kif 2016-2018 |
|
| (=> (instance ?N RealNumber) (equal (MeasureFn ?N Horsepower) (MeasureFn (MultiplicationFn ?N 746) Watt))) |
Merge.kif 6903-6907 |
|
|
|
|