| Horsepower(horsepower) | | H.P., HP, 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 6901-6901 | |
| (documentation Horsepower JapaneseLanguage "電力測定は、746 Watts に等しい。") | japanese_format.kif 1240-1240 | |
| (instance Horsepower CompositeUnitOfMeasure) | Merge.kif 6899-6899 | Horsepower is an instance of composite unit of measure |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Horsepower "马力") | domainEnglishFormat.kif 28627-28627 | |
| (termFormat ChineseTraditionalLanguage Horsepower "馬力") | domainEnglishFormat.kif 28626-28626 | |
| (termFormat EnglishLanguage Horsepower "horsepower") | domainEnglishFormat.kif 28625-28625 |
| consequent |
|
|
| (=> (instance ?N RealNumber) (equal (MeasureFn ?N Horsepower) (MeasureFn (MultiplicationFn ?N 746) Watt))) |
Merge.kif 6903-6907 |
|
|
|
|