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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PoundForce
PoundForce

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 7235-7237
(instance PoundForce CompositeUnitOfMeasure) Merge.kif 7233-7233

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


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

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


(equal
    (MeasureFn ?NUMBER PoundForce)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.448222) Newton))
Merge.kif 7239-7241


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