CoffeeGrindAttribute |
appearance as argument number 1 |
(documentation CoffeeGrindAttribute EnglishLanguage "CoffeeGrindAttribute is a Class of RelationalAttribute used to describe the particle size of the CoffeeGrind.") | Food.kif 1059-1060 | |
(subclass CoffeeGrindAttribute RelationalAttribute) | Food.kif 1058-1058 | 子類 CoffeeGrindAttribute and RelationalAttribute |
appearance as argument number 2 |
appearance as argument number 3 |
(domain optimalGrindSizeForMakingCoffee 2 CoffeeGrindAttribute) | Food.kif 724-724 | 域 optimalGrindSizeForMakingCoffee, 2 and CoffeeGrindAttribute |
antecedent |
(=> (and (instance ?A CoffeeGrindAttribute) (attribute ?C ?A) (instance ?C CoffeeGrind)) (exists (?L ?X) (and (grainSize ?C ?L) (instance ?X LengthMeasure) (equal ?X (MeasureFn ?L Millimeter))))) |
Food.kif 1063-1073 |
|
consequent |
(=> (instance ?CG CoffeeGrind) (exists (?B ?A ?C) (and (instance ?B CoffeeBean) (attribute ?B ?A) (instance ?A CoffeeRoastAttribute) (attribute ?CG ?C) (instance ?C CoffeeGrindAttribute)))) |
Food.kif 1044-1052 |