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

半品脫之量 (Cup)

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

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

量度單位
is instance of
  半品脫之量  

Superclass(es)

[tree]
實體
is subclass of
  抽象的  
is subclass of
  數量  
is subclass of
  物理量  
is subclass of
  常量  
is subclass of
  體積單位  
is subclass of
  半品脫之量  

Coordinate term(s)

原子質量單位  光譜線波長單位  角度  atom gram  位元  英國熱量單位-BTU  位元組  熱量的單位-卡路里  公分  日計  電壓單位-電伏特  歐元一分  歐元一元  華氏-度  英尺  時計  英吋  千位元組  公升  百萬位元組  英里  分計  盎司  品脫  力量單位  磅  容量或液量單位  摩擦角度  質量單位  英制液量單位-加侖  美元一分  美元一元  美制液量單位-加侖  周計  年計 

Related WordNet synsets

cup
a United States liquid unit equal to 8 fluid ounces
cup is kind of (all)...   cup is kind of...   cup is part of...   parts of cup...  

Axioms (2)

If number 是 實數 的 實例, then "number 半品脫之量(s)" 等於 ""number/" 品脫(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Cup)
            (MeasureFn
                  (DivisionFn ?NUMBER 2)
                  Pint)))
If number 是 實數 的 實例, then "number 盎司(s)" 等於 ""number/" 半品脫之量(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Ounce)
            (MeasureFn
                  (DivisionFn ?NUMBER 8)
                  Cup)))