| 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 |
|
|
|