| 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 7332-7334 | |
| (documentation PoundForce JapaneseLanguage "イギリスの重量ポンド。変換係数は、重力加速度のロー カル値に依存する。平均値は、この定数に関連付けられた変換公理で使用される。") | japanese_format.kif 1328-1329 | |
| (instance PoundForce CompositeUnitOfMeasure) | Merge.kif 7330-7330 | Pound force is an instance of composite unit of measure |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PoundForce "磅力") | domainEnglishFormat.kif 46996-46996 | |
| (termFormat ChineseTraditionalLanguage PoundForce "磅力") | domainEnglishFormat.kif 46995-46995 | |
| (termFormat EnglishLanguage PoundForce "pound force") | domainEnglishFormat.kif 46994-46994 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER PoundForce) (MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton)) |
Merge.kif 7336-7338 | A real number pound force(s) is equal to the real number and 4.448222 newton(s) |
|
|
|