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 6901-6901
(documentation Horsepower JapaneseLanguage "電力測定は、746 Watts に等しい。") japanese_format.kif 1240-1240
(instance Horsepower CompositeUnitOfMeasure) Merge.kif 6899-6899 HorsepowerCompositeUnitOfMeasureinstance では %n

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 6903-6907


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