品脫 (Pint)
English unit of volume equal to 1/2 of a
Quart.
Ontology
SUMO / UNITS-OF-MEASUREClass(es)
Superclass(es)
Coordinate term(s)
原子質量單位
光譜線波長單位
角度
atom gram
位元
英國熱量單位-BTU
位元組
熱量的單位-卡路里
公分
半品脫之量
日計
電壓單位-電伏特
歐元一分
歐元一元
華氏-度
英尺
時計
英吋
千位元組
公升
百萬位元組
英里
分計
盎司
力量單位
磅
容量或液量單位
摩擦角度
質量單位
英制液量單位-加侖
美元一分
美元一元
美制液量單位-加侖
周計
年計
Related WordNet synsets
- pint
- a United States liquid unit equal to 16 fluid ounces; two pints equal one quart
- pint, dry pint
- a United States dry unit equal to 0.5 quart or 33.6 cubic inches
- pint
- a British imperial capacity measure (liquid or dry) equal to 4 gills or 568.26 cubic centimeters
Axioms (2)
If number 是 實數 的 實例, then "number 品脫(s)" 等於 ""number/" 容量或液量單位(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Pint)
(MeasureFn
(DivisionFn ?NUMBER 2)
Quart)))
If number 是 實數 的 實例, then "number 半品脫之量(s)" 等於 ""number/" 品脫(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Cup)
(MeasureFn
(DivisionFn ?NUMBER 2)
Pint)))