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 | 例 磅力 and 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 | 等於 測量 RealNumber and 磅力 and 測量 乘法 RealNumber and 4.448222 and 牛頓 |