Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 



KB Term:  Term intersection
English Word: 

  ColdBrewingCoffee

Sigma KEE - ColdBrewingCoffee
ColdBrewingCoffee(cold brew coffee)

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


(subclass ColdBrewingCoffee CoffeeMaking) Food.kif 813-813 Cold brew coffee is a subclass of coffee making
(documentation ColdBrewingCoffee EnglishLanguage "ColdBrewingCoffee, also called cold water extraction or cold pressing, is the process of steeping coffee grounds in water at cool temperatures for an extended period. Coarse_ground beans are soaked in water for about 12 to 24 hours. [Wikipedia]") Food.kif 814-817 Cold brew coffee is a subclass of coffee making
(optimalGrindSizeForMakingCoffee ColdBrewingCoffee ExtraCoarseGrind) Food.kif 819-819 Extra coarse grind is the optimal CoffeeGrindAttribute for cold brew coffee coffee making process

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ColdBrewingCoffee "cold brew coffee") Food.kif 818-818

antecedent
-------------------------


(=>
    (instance ?C ColdBrewingCoffee)
    (exists (?W)
        (and
            (instance ?W DrinkingWater)
            (resource ?C ?W)
            (measure ?W
                (MeasureFn 20 CelsiusDegree)))))
Food.kif 821-828 If X is an instance of cold brew coffee, then there exists Y such that Y is an instance of potable water and Y is a resource for X and the measure of Y is 20 celsius degree(s)


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

Show without tree


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