| Horsepower | |
| appearance as argument number 1 |
|
|
| (documentation Horsepower ChineseLanguage "这是等于 746 Watts，用来量度功率的单位。") | chinese_format.kif 2539-2539 | |
| (documentation Horsepower EnglishLanguage "A power measure that is equal to 746 Watts.") | Merge.kif 6804-6804 | |
| (instance Horsepower CompositeUnitOfMeasure) | Merge.kif 6802-6802 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Horsepower "马力") | domainEnglishFormat.kif 28584-28584 | |
| (termFormat ChineseTraditionalLanguage Horsepower "馬力") | domainEnglishFormat.kif 28583-28583 | |
| (termFormat EnglishLanguage Horsepower "horsepower") | domainEnglishFormat.kif 28582-28582 |
| consequent |
|
|
| (=> (instance ?N RealNumber) (equal (MeasureFn ?N Horsepower) (MeasureFn (MultiplicationFn ?N 746) Watt))) |
Merge.kif 6806-6810 |
|
|
|