Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Horsepower
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners