CoffeeGrindAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(subclass CoffeeGrindAttribute RelationalAttribute)	Food.kif 1036-1036	Coffee grind attribute is a subclass of relational attribute
(documentation CoffeeGrindAttribute EnglishLanguage "CoffeeGrindAttribute is a Class of RelationalAttribute used to describe the particle size of the CoffeeGrind.")	Food.kif 1037-1038	Coffee grind attribute is a subclass of relational attribute

appearance as argument number 2

(relatedInternalConcept DryRoastAttribute CoffeeGrindAttribute)	Food.kif 109-109	Dry roast is internally related to coffee grind attribute
(relatedInternalConcept CoffeeRoastAttribute CoffeeGrindAttribute)	Food.kif 424-424	Coffee roast attribute is internally related to coffee grind attribute
(relatedInternalConcept Coffee CoffeeGrindAttribute)	Food.kif 606-606	Coffee is internally related to coffee grind attribute
(termFormat EnglishLanguage CoffeeGrindAttribute "coffee grind attribute")	Food.kif 1039-1039	Coffee is internally related to coffee grind attribute
(instance ExtraCoarseGrind CoffeeGrindAttribute)	Food.kif 1068-1068	Extra coarse grind is an instance of coffee grind attribute
(instance CoarseGrind CoffeeGrindAttribute)	Food.kif 1080-1080	Coarse grind is an instance of coffee grind attribute
(instance MediumCoarseGrind CoffeeGrindAttribute)	Food.kif 1092-1092	Medium coarse grind is an instance of coffee grind attribute
(instance MediumGrind CoffeeGrindAttribute)	Food.kif 1104-1104	Medium grind is an instance of coffee grind attribute
(instance MediumFineGrind CoffeeGrindAttribute)	Food.kif 1116-1116	Medium fine grind is an instance of coffee grind attribute
(instance FineGrind CoffeeGrindAttribute)	Food.kif 1128-1128	Fine grind is an instance of coffee grind attribute
(instance ExtraFineGrind CoffeeGrindAttribute)	Food.kif 1140-1140	Extra fine grind is an instance of coffee grind attribute

appearance as argument number 3

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)))))

If X is an instance of coffee grind attribute, X is an attribute of Y, and Y is an instance of coffee grind, then there exist Z and W such that Z is the diameter in UnitOFLength of Y and W is an instance of length measure and equal W and Z millimeter(s)

consequent

(=>
    (instance ?CG CoffeeGrind)
    (exists (?B ?A ?C)
        (and
            (instance ?B CoffeeBean)
            (attribute ?B ?A)
            (instance ?A CoffeeRoastAttribute)
            (attribute ?CG ?C)
            (instance ?C CoffeeGrindAttribute))))