Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

euro cent (EuroCent)

A currency measure. 1 EuroCent is equal to .01 EuroDollars.

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

Masseinheit
is instance of
  euro cent  

Superclass(es)

[tree]
Wesen
is subclass of
  abstrakter Gegenstand  
is subclass of
  Eigenschaft  
is subclass of
  körperliche Quantität  
is subclass of
  konstante Quantität  
is subclass of
  Währungma  
is subclass of
  euro cent  

Coordinate term(s)

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

Axioms (1)

Wenn number ist ein fall von reelle Zahl , dann "number euro cent(s)" ist gleich ""number*" euro dollar(s)" .
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER EuroCent)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.01)
                  EuroDollar)))