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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Horsepower

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 6900-6900
(documentation Horsepower JapaneseLanguage "電力測定は、746 Watts に等しい。") japanese_format.kif 1240-1240
(instance Horsepower CompositeUnitOfMeasure) Merge.kif 6898-6898 Horsepower is an instance of composite unit of measure

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 6902-6906


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

Show without tree


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