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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PoundForce
PoundForce(pound force)lbf., pound

appearance as argument number 1
-------------------------


(documentation PoundForce ChineseLanguage "英制力的单位磅力。它的换算因子决定于自由落体的局部加速度。 和这个常数相关的换算公理会用平均值。") chinese_format.kif 2614-2615
(documentation PoundForce EnglishLanguage "English pound of force. The conversion factor depends on the local value of the acceleration of free fall. A mean value is used in the conversion axiom associated with this constant.") Merge.kif 7047-7049
(instance PoundForce CompositeUnitOfMeasure) Merge.kif 7045-7045 Pound force is an instance of CompositeUnitOfMeasure

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage PoundForce "磅力") domainEnglishFormat.kif 46940-46940
(termFormat ChineseTraditionalLanguage PoundForce "磅力") domainEnglishFormat.kif 46939-46939
(termFormat EnglishLanguage PoundForce "pound force") domainEnglishFormat.kif 46938-46938

statement
-------------------------


(equal
    (MeasureFn ?NUMBER PoundForce)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.448222) Newton))
Merge.kif 7051-7053 A real number pound force(s) is equal to the real number and 4.448222 newton(s)


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