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 | 例 馬力 and CompositeUnitOfMeasure |
appearance as argument number 2 |
(termFormat ChineseLanguage Horsepower "马力") | domainEnglishFormat.kif 28593-28593 | |
(termFormat ChineseTraditionalLanguage Horsepower "馬力") | domainEnglishFormat.kif 28592-28592 | |
(termFormat EnglishLanguage Horsepower "horsepower") | domainEnglishFormat.kif 28591-28591 |
consequent |
(=> (instance ?N RealNumber) (equal (MeasureFn ?N Horsepower) (MeasureFn (MultiplicationFn ?N 746) Watt))) |
Merge.kif 6903-6907 |
|