Horsepower - Sigma Knowledge base Browser

appearance as argument number 1

(instance Horsepower CompositeUnitOfMeasure)	Merge.kif 7017-7017	Horsepower is an instance of composite unit of measure
(documentation Horsepower EnglishLanguage "A power measure that is equal to 746 Watts.")	Merge.kif 7019-7019	Horsepower is an instance of composite unit of measure

appearance as argument number 2

(termFormat EnglishLanguage Horsepower "horsepower")	domainEnglishFormat.kif 28595-28595
(termFormat ChineseTraditionalLanguage Horsepower "馬力")	domainEnglishFormat.kif 28596-28596
(termFormat ChineseLanguage Horsepower "马力")	domainEnglishFormat.kif 28597-28597

consequent

(=>
    (instance ?N RealNumber)
    (equal
        (MeasureFn ?N Horsepower)
        (MeasureFn
            (MultiplicationFn ?N 746) Watt)))

If X is an instance of real number, then equal X horsepower(s) and X and 746 watt(s)