CoffeeGrindAttribute - Sigma Knowledge base Browser

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 ist eine teilkategorie von RelationalAttribute

appearance as argument number 2

(instance CoarseGrind CoffeeGrindAttribute)	Food.kif 1102-1102	CoarseGrind ist ein fall von CoffeeGrindAttribute %n{nicht}
(instance ExtraCoarseGrind CoffeeGrindAttribute)	Food.kif 1090-1090	ExtraCoarseGrind ist ein fall von CoffeeGrindAttribute %n{nicht}
(instance ExtraFineGrind CoffeeGrindAttribute)	Food.kif 1162-1162	ExtraFineGrind ist ein fall von CoffeeGrindAttribute %n{nicht}
(instance FineGrind CoffeeGrindAttribute)	Food.kif 1150-1150	FineGrind ist ein fall von CoffeeGrindAttribute %n{nicht}
(instance MediumCoarseGrind CoffeeGrindAttribute)	Food.kif 1114-1114	MediumCoarseGrind ist ein fall von CoffeeGrindAttribute %n{nicht}
(instance MediumFineGrind CoffeeGrindAttribute)	Food.kif 1138-1138	MediumFineGrind ist ein fall von CoffeeGrindAttribute %n{nicht}
(instance MediumGrind CoffeeGrindAttribute)	Food.kif 1126-1126	MediumGrind ist ein fall von CoffeeGrindAttribute %n{nicht}
(relatedInternalConcept Coffee CoffeeGrindAttribute)	Food.kif 630-630	Coffee ist innerlich verwandt mit CoffeeGrindAttribute %n{nicht}
(relatedInternalConcept CoffeeRoastAttribute CoffeeGrindAttribute)	Food.kif 448-448	CoffeeRoastAttribute ist innerlich verwandt mit CoffeeGrindAttribute %n{nicht}
(relatedInternalConcept DryRoastAttribute CoffeeGrindAttribute)	Food.kif 109-109	DryRoastAttribute ist innerlich verwandt mit CoffeeGrindAttribute %n{nicht}
(termFormat EnglishLanguage CoffeeGrindAttribute "coffee grind attribute")	Food.kif 1061-1061

appearance as argument number 3

Food.kif 724-724

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