Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Ounce(ounce) |  | fluid_ounce, fluidounce |
| appearance as argument number 1 |
|
|
| (instance Ounce UnitOfVolume) | Merge.kif 7381-7381 | Ounce is an instance of unit of volume |
| (documentation Ounce EnglishLanguage "English unit of volume equal to 1/ 8 of a Cup.") | Merge.kif 7383-7384 | Ounce is an instance of unit of volume |
| appearance as argument number 2 |
|
|
| statement |
|
|
| (equal (MeasureFn ?NUMBER Ounce) (MeasureFn (DivisionFn ?NUMBER 8) Cup)) |
Merge.kif 7386-7388 | equal X ounce(s) and X and 8 cup(s) |
| (defaultMinimumMeasure Parrot (MeasureFn 0.4 Ounce)) |
Mid-level-ontology.kif 33109-33109 | The minimum expected value of parrot is 0.4 ounce(s) |
| (defaultMinimumMeasure Lemur (MeasureFn 1.0 Ounce)) |
Mid-level-ontology.kif 33125-33125 | The minimum expected value of lemur is 1.0 ounce(s) |
| (defaultMinimumMeasure HandGrenade (MeasureFn 10 Ounce)) |
DimensioningAmenities.kif 1016-1016 | The minimum expected value of hand grenade is 10 ounce(s) |
| (defaultMaximumMeasure HandGrenade (MeasureFn 48 Ounce)) |
DimensioningAmenities.kif 1017-1017 | The maximum expected value of hand grenade is 48 ounce(s) |
|