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

Formal Language: 

KB Term:  Term intersection
English Word: 


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

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


    (instance ?N RealNumber)
        (MeasureFn ?N Horsepower)
            (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