Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

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.

Ontologie

SUMO / UNITS-OF-MEASURE

Class(es)

měrná jednotka
is instance of
  pound force  

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  veličina  
is subclass of
  fyzikální veličina  
is subclass of
[tree]
entita
is subclass of
  abstraktum  
is subclass of
  relace  
is subclass of
  relace s jedinou hodnotou  
is subclass of
  funkce  
is subclass of
is subclass of
  proměnná veličina  
is subclass of
  pound force  

Související termín(y)

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 

Axiomy (1)

Jestliže number je instancí třídy reálné číslo, potom "number pound force(s)" se rovná ""number*" newton(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER PoundForce)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 4.448222)
                  Newton)))