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 7332-7334 | |
(documentation PoundForce JapaneseLanguage "イギリスの重量ポンド。変換係数は、重力加速度のロー カル値に依存する。平均値は、この定数に関連付けられた変換公理で使用される。") | japanese_format.kif 1328-1329 | |
(instance PoundForce CompositeUnitOfMeasure) | Merge.kif 7330-7330 | PoundForce e' uma instancia de CompositeUnitOfMeasure |
appearance as argument number 2 |
(termFormat ChineseLanguage PoundForce "磅力") | domainEnglishFormat.kif 46960-46960 | |
(termFormat ChineseTraditionalLanguage PoundForce "磅力") | domainEnglishFormat.kif 46959-46959 | |
(termFormat EnglishLanguage PoundForce "pound force") | domainEnglishFormat.kif 46958-46958 |
statement |
(equal (MeasureFn ?NUMBER PoundForce) (MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton)) |
Merge.kif 7336-7338 | Numero Real PoundForce(s) e' igual a Numero Real + 4.448222 Newton(s) |