optimalGrindSizeForMakingCoffee - Sigma Knowledge base Browser

appearance as argument number 1

(domain optimalGrindSizeForMakingCoffee 2 CoffeeGrindAttribute)	Food.kif 724-724	Die Zahl 2 Argument von optimalGrindSizeForMakingCoffee ist ein fall von CoffeeGrindAttribute %n{nicht}
(domainSubclass optimalGrindSizeForMakingCoffee 1 CoffeeMaking)	Food.kif 723-723	Die Zahl 1 Argument von optimalGrindSizeForMakingCoffee ist eine teilkategorie von CoffeeMaking %n{nicht}
(instance optimalGrindSizeForMakingCoffee BinaryPredicate)	Food.kif 718-718	optimalGrindSizeForMakingCoffee ist ein fall von BinaryPredicate %n{nicht}
(relatedInternalConcept optimalGrindSizeForMakingCoffee roastedToTemperature)	Food.kif 719-719	optimalGrindSizeForMakingCoffee ist innerlich verwandt mit roastedToTemperature %n{nicht}

appearance as argument number 2

(documentation EnglishLanguage optimalGrindSizeForMakingCoffee "optimalGrindSizeForMakingCoffee is a BinaryRelation which states the optimal size of the CoffeeGrind for the a particular kind of CoffeeMaking process.")	Food.kif 720-722
(format EnglishLanguage optimalGrindSizeForMakingCoffee "%2 is the optimal CoffeeGrindAttribute for %1 coffee making process")	Food.kif 726-726
(termFormat EnglishLanguage optimalGrindSizeForMakingCoffee "optimal grind size for making coffee")	Food.kif 725-725

antecedent

(=>
    (optimalGrindSizeForMakingCoffee ?CLASS ?A)
    (exists (?CM ?COLL ?C)
        (and
            (instance ?CM ?CLASS)
            (patient ?CM ?COLL)
            (instance ?COLL Collection)
            (member ?C ?COLL)
            (instance ?C CoffeeGrind)
            (attribute ?C ?A))))

Food.kif 728-737

appearance as argument number 0

(optimalGrindSizeForMakingCoffee AeropressingCoffee MediumFineGrind)	Food.kif 905-905	optimalGrindSizeForMakingCoffee AeropressingCoffee and MediumFineGrind
(optimalGrindSizeForMakingCoffee ColdBrewingCoffee ExtraCoarseGrind)	Food.kif 842-842	optimalGrindSizeForMakingCoffee ColdBrewingCoffee and ExtraCoarseGrind
(optimalGrindSizeForMakingCoffee DrippingCoffee MediumGrind)	Food.kif 893-893	optimalGrindSizeForMakingCoffee DrippingCoffee and MediumGrind
(optimalGrindSizeForMakingCoffee EspressoMaking FineGrind)	Food.kif 790-790	optimalGrindSizeForMakingCoffee EspressoMaking and FineGrind
(optimalGrindSizeForMakingCoffee FrenchPressingCoffee CoarseGrind)	Food.kif 860-860	optimalGrindSizeForMakingCoffee FrenchPressingCoffee and CoarseGrind
(optimalGrindSizeForMakingCoffee MokaPotCoffeeMaking MediumFineGrind)	Food.kif 938-938	optimalGrindSizeForMakingCoffee MokaPotCoffeeMaking and MediumFineGrind
(optimalGrindSizeForMakingCoffee PouringOverCoffee MediumGrind)	Food.kif 899-899	optimalGrindSizeForMakingCoffee PouringOverCoffee and MediumGrind
(optimalGrindSizeForMakingCoffee SiphoningCoffee MediumFineGrind)	Food.kif 929-929	optimalGrindSizeForMakingCoffee SiphoningCoffee and MediumFineGrind
(optimalGrindSizeForMakingCoffee TurkishCoffeeMaking ExtraFineGrind)	Food.kif 959-959	optimalGrindSizeForMakingCoffee TurkishCoffeeMaking and ExtraFineGrind