optimalGrindSizeForMakingCoffee - Sigma Knowledge base Browser

appearance as argument number 1

(instance optimalGrindSizeForMakingCoffee BinaryPredicate)	Food.kif 694-694	optimal grind size for making coffee is an instance of binary predicate
(relatedInternalConcept optimalGrindSizeForMakingCoffee roastedToTemperature)	Food.kif 695-695	optimal grind size for making coffee is internally related to roasted to temperature
(documentation optimalGrindSizeForMakingCoffee EnglishLanguage "optimalGrindSizeForMakingCoffee is a BinaryRelation which states the optimal size of the CoffeeGrind for the a particular kind of CoffeeMaking process.")	Food.kif 696-698	optimal grind size for making coffee is internally related to roasted to temperature
(domainSubclass optimalGrindSizeForMakingCoffee 1 CoffeeMaking)	Food.kif 699-699	The number 1 argument of optimal grind size for making coffee is a subclass of coffee making
(domain optimalGrindSizeForMakingCoffee 2 CoffeeGrindAttribute)	Food.kif 700-700	The number 2 argument of optimal grind size for making coffee is an instance of coffee grind attribute

appearance as argument number 2

(termFormat EnglishLanguage optimalGrindSizeForMakingCoffee "optimal grind size for making coffee")	Food.kif 701-701
(format EnglishLanguage optimalGrindSizeForMakingCoffee "%2 is the optimal CoffeeGrindAttribute for %1 coffee making process")	Food.kif 702-702

antecedent

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

Food.kif 704-713

If X is the optimal CoffeeGrindAttribute for Y coffee making process, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of Y (3) W is a patient of Z (4) W is an instance of collection (5) V is a member of W (6) V is an instance of coffee grind (7) X is an attribute of V

appearance as argument number 0

(optimalGrindSizeForMakingCoffee EspressoMaking FineGrind)	Food.kif 767-767	Fine grind is the optimal CoffeeGrindAttribute for espresso making coffee making process
(optimalGrindSizeForMakingCoffee ColdBrewingCoffee ExtraCoarseGrind)	Food.kif 819-819	Extra coarse grind is the optimal CoffeeGrindAttribute for cold brew coffee coffee making process
(optimalGrindSizeForMakingCoffee FrenchPressingCoffee CoarseGrind)	Food.kif 837-837	Coarse grind is the optimal CoffeeGrindAttribute for French press coffee coffee making process
(optimalGrindSizeForMakingCoffee DrippingCoffee MediumGrind)	Food.kif 870-870	Medium grind is the optimal CoffeeGrindAttribute for dripping coffee coffee making process
(optimalGrindSizeForMakingCoffee PouringOverCoffee MediumGrind)	Food.kif 876-876	Medium grind is the optimal CoffeeGrindAttribute for pour over coffee coffee making process
(optimalGrindSizeForMakingCoffee AeropressingCoffee MediumFineGrind)	Food.kif 882-882	Medium fine grind is the optimal CoffeeGrindAttribute for aeropress coffee coffee making process
(optimalGrindSizeForMakingCoffee SiphoningCoffee MediumFineGrind)	Food.kif 906-906	Medium fine grind is the optimal CoffeeGrindAttribute for siphoning coffee coffee making process
(optimalGrindSizeForMakingCoffee MokaPotCoffeeMaking MediumFineGrind)	Food.kif 915-915	Medium fine grind is the optimal CoffeeGrindAttribute for Moka pot coffee making coffee making process
(optimalGrindSizeForMakingCoffee TurkishCoffeeMaking ExtraFineGrind)	Food.kif 937-937	Extra fine grind is the optimal CoffeeGrindAttribute for turkish coffee making coffee making process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners