(=>
(and
(instance ?G Grain)
(grainSize ?G ?L))
(approximateDiameter ?G
(MeasureFn ?L UnitOfLength))) |
Food.kif 1061-1066 |
If X is an instance of grain and Y is the diameter in UnitOFLength of X, then the approximate diameter of X is Y unit of length(s) |
(=>
(and
(instance ?C CoffeeGrind)
(attribute ?C ExtraCoarseGrind)
(grainSize ?C ?L))
(equal ?L 1.5)) |
Food.kif 1073-1078 |
If X is an instance of coffee grind, extra coarse grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 1.5 |
(=>
(and
(instance ?C CoffeeGrind)
(attribute ?C CoarseGrind)
(grainSize ?C ?L))
(equal ?L 1.0)) |
Food.kif 1085-1090 |
If X is an instance of coffee grind, coarse grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 1.0 |
(=>
(and
(instance ?C CoffeeGrind)
(attribute ?C MediumCoarseGrind)
(grainSize ?C ?L))
(equal ?L 0.85)) |
Food.kif 1097-1102 |
If X is an instance of coffee grind, medium coarse grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 0.85 |
(=>
(and
(instance ?C CoffeeGrind)
(attribute ?C MediumGrind)
(grainSize ?C ?L))
(equal ?L 0.75)) |
Food.kif 1109-1114 |
If X is an instance of coffee grind, medium grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 0.75 |
(=>
(and
(instance ?C CoffeeGrind)
(attribute ?C MediumFineGrind)
(grainSize ?C ?L))
(equal ?L 0.5)) |
Food.kif 1121-1126 |
If X is an instance of coffee grind, medium fine grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 0.5 |
(=>
(and
(instance ?C CoffeeGrind)
(attribute ?C FineGrind)
(grainSize ?C ?L))
(equal ?L 0.3)) |
Food.kif 1133-1138 |
If X is an instance of coffee grind, fine grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 0.3 |
(=>
(and
(instance ?C CoffeeGrind)
(attribute ?C ExtraFineGrind)
(grainSize ?C ?L))
(equal ?L 0.1)) |
Food.kif 1145-1150 |
If X is an instance of coffee grind, extra fine grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 0.1 |
