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

cup (Cup)

English unit of volume equal to 1/2 of a Pint.

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

is instance of

cup

Superclass(es)

[tree]

is subclass of

amUrta

is subclass of

parimaaNa

is subclass of

bhOtika parimaaNa

is subclass of

sthira parimaaNa

is subclass of

ghanaphala maapa

is subclass of

cup

Coordinate term(s)

amu angstrom angular degree atom gram bit british thermal unit byte calorie centimeter day duration electron volt euro cent 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

Related WordNet synsets

cup: a United States liquid unit equal to 8 fluid ounces

Axioms (2)

Agar number is an instance of vaastavika anka, to "number cup(s)" is equal to ""number/" pint(s)".

(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Cup)
            (MeasureFn
                  (DivisionFn ?NUMBER 2)
                  Pint)))

Agar number is an instance of vaastavika anka, to "number ounce(s)" is equal to ""number/" cup(s)".

(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Ounce)
            (MeasureFn
                  (DivisionFn ?NUMBER 8)
                  Cup)))