Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

力量單位 (PoundForce)

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.

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

量度單位
is instance of
  力量單位  

Superclass(es)

[tree]
實體
is subclass of
  抽象的  
is subclass of
  數量  
is subclass of
  物理量  
is subclass of
[tree]
實體
is subclass of
  抽象的  
is subclass of
  關係  
is subclass of
  單值關係  
is subclass of
  函數  
is subclass of
is subclass of
  函數量  
is subclass of
  力量單位  

Coordinate term(s)

電流強度單位-安培  原子質量單位  光譜線波長單位  角度  atom gram  位元  英國熱量單位-BTU  位元組  熱量的單位-卡路里  發光強度的單位  公分  半品脫之量  日計  電壓單位-電伏特  歐元一分  歐元一元  華氏-度  電容量單位-法拉  英尺  入射劑量  電感單位  時計  英吋  功或能的單位-焦爾  千位元組  公升  光束的能量單位  照明度的國際單位  百萬位元組  英里  分計  力的單位-牛頓  電阻單位-歐姆  盎司  壓力的單位  品脫  磅  容量或液量單位  摩擦角度  電導單位  劑量當量  質量單位  磁通量密度之國際單位  一元恆定函數量  英制液量單位-加侖  美元一分  美元一元  美制液量單位-加侖  電壓單位  瓦特  磁通量  周計  年計 

Axioms (1)

If number 是 實數 的 實例, then "number 力量單位(s)" 等於 ""number*" 力的單位-牛頓(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER PoundForce)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 4.448222)
                  Newton)))