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

pound force (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)

unit of measure
is instance of
  pound force  

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  quantity  
is subclass of
  physical quantity  
is subclass of
[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  single valued relation  
is subclass of
  function  
is subclass of
is subclass of
  function quantity  
is subclass of
  pound force  

Coordinate term(s)

ampere  amu  angstrom  angular degree  atom gram  bit  british thermal unit  byte  calorie  candela  centimeter  cup  day duration  electron volt  euro cent  euro dollar  fahrenheit degree  farad  foot  gray  henry  hour duration  inch  joule  kilo byte  liter  lumen  lux  mega byte  mile  minute duration  newton  ohm  ounce  pascal  pint  pound mass  quart  rankine degree  siemens  sievert  slug  tesla  unary constant functionquantity  united kingdom gallon  united states cent  united states dollar  united states gallon  volt  watt  weber  week duration  year duration 

Axioms (1)

If number is an instance of real number, then "number pound force(s)" is equal to ""number*" newton(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER PoundForce)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 4.448222)
                  Newton)))