| 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 6891-6891 | |
| (documentation Horsepower JapaneseLanguage "電力測定は、746 Watts に等しい。") | japanese_format.kif 1240-1240 | |
| (instance Horsepower CompositeUnitOfMeasure) | Merge.kif 6889-6889 | Horsepower is an instance of composite unit of measure |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Horsepower "马力") | domainEnglishFormat.kif 28621-28621 | |
| (termFormat ChineseTraditionalLanguage Horsepower "馬力") | domainEnglishFormat.kif 28620-28620 | |
| (termFormat EnglishLanguage Horsepower "horsepower") | domainEnglishFormat.kif 28619-28619 |
| consequent |
|
|
| (=> (instance ?N RealNumber) (equal (MeasureFn ?N Horsepower) (MeasureFn (MultiplicationFn ?N 746) Watt))) |
Merge.kif 6893-6897 |
|
|
|
|