Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - optimalGrindSizeForMakingCoffee
optimalGrindSizeForMakingCoffee

appearance as argument number 1
-------------------------


(domain optimalGrindSizeForMakingCoffee 2 CoffeeGrindAttribute) Food.kif 724-724 The number 2 argument of optimal grind size for making coffee is an instance of coffee grind attribute
(domainSubclass optimalGrindSizeForMakingCoffee 1 CoffeeMaking) Food.kif 723-723 The number 1 argument of optimal grind size for making coffee is a subclass of coffee making
(instance optimalGrindSizeForMakingCoffee BinaryPredicate) Food.kif 718-718 optimal grind size for making coffee is an instance of binary predicate
(relatedInternalConcept optimalGrindSizeForMakingCoffee roastedToTemperature) Food.kif 719-719 optimal grind size for making coffee is internally related to roasted to temperature

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 Medium fine grind is the optimal CoffeeGrindAttribute for aeropress coffee coffee making process
(optimalGrindSizeForMakingCoffee ColdBrewingCoffee ExtraCoarseGrind) Food.kif 842-842 Extra coarse grind is the optimal CoffeeGrindAttribute for cold brew coffee coffee making process
(optimalGrindSizeForMakingCoffee DrippingCoffee MediumGrind) Food.kif 893-893 Medium grind is the optimal CoffeeGrindAttribute for dripping coffee coffee making process
(optimalGrindSizeForMakingCoffee EspressoMaking FineGrind) Food.kif 790-790 Fine grind is the optimal CoffeeGrindAttribute for espresso making coffee making process
(optimalGrindSizeForMakingCoffee FrenchPressingCoffee CoarseGrind) Food.kif 860-860 Coarse grind is the optimal CoffeeGrindAttribute for French press coffee coffee making process
(optimalGrindSizeForMakingCoffee MokaPotCoffeeMaking MediumFineGrind) Food.kif 938-938 Medium fine grind is the optimal CoffeeGrindAttribute for Moka pot coffee making coffee making process
(optimalGrindSizeForMakingCoffee PouringOverCoffee MediumGrind) Food.kif 899-899 Medium grind is the optimal CoffeeGrindAttribute for pour over coffee coffee making process
(optimalGrindSizeForMakingCoffee SiphoningCoffee MediumFineGrind) Food.kif 929-929 Medium fine grind is the optimal CoffeeGrindAttribute for siphoning coffee coffee making process
(optimalGrindSizeForMakingCoffee TurkishCoffeeMaking ExtraFineGrind) Food.kif 959-959 Extra fine grind is the optimal CoffeeGrindAttribute for TurkishCoffeeMaking 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 is open source software produced by Articulate Software and its partners