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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Horsepower
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 6810-6810
(instance Horsepower CompositeUnitOfMeasure) Merge.kif 6808-6808 Horsepower is an instance of CompositeUnitOfMeasure

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


    (instance ?N RealNumber)
        (MeasureFn ?N Horsepower)
            (MultiplicationFn ?N 746) Watt)))
Merge.kif 6812-6816

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