Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

slug (Slug)

English mass unit of slugs.

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

is instance of

slug

Superclass(es)

[tree]

is subclass of

Astratto

is subclass of

Quantitá

is subclass of

QuantitáFisica

is subclass of

QuantitáCostante

is subclass of

is subclass of

slug

Coordinate term(s)

amu angstrom angular degree atom gram bit british thermal unit byte calorie centimeter cup day duration electron volt euro cent euro dollar fahrenheit degree foot gram hour duration inch kilo byte liter mega byte mile minute duration mole ounce pint pound force pound mass quart rankine degree united kingdom gallon united states cent united states dollar united states gallon week duration year duration

Axioms (1)

Se number é un' istanza di NumeroReale, allora "number slug(s" is uguale a ""number*" gram(s".

(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Slug)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 14593.90)
                  Gram)))