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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PoundForce

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 7331-7333
(documentation PoundForce JapaneseLanguage "イギリスの重量ポンド。変換係数は、重力加速度のロー カル値に依存する。平均値は、この定数に関連付けられた変換公理で使用される。") japanese_format.kif 1328-1329
(instance PoundForce CompositeUnitOfMeasure) Merge.kif 7329-7329 PoundForce est une instance de CompositeUnitOfMeasure

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


(termFormat ChineseLanguage PoundForce "磅力") domainEnglishFormat.kif 46958-46958
(termFormat ChineseTraditionalLanguage PoundForce "磅力") domainEnglishFormat.kif 46957-46957
(termFormat EnglishLanguage PoundForce "pound force") domainEnglishFormat.kif 46956-46956

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


(equal
    (MeasureFn ?NUMBER PoundForce)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.448222) Newton))
Merge.kif 7335-7337 Nombre r�el PoundForce(s) est nombre r�el + 4.448222 Newton(s)


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