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


KB Term:  Term intersection
English Word: 

Sigma KEE - MokaPotCoffeeMaking
MokaPotCoffeeMaking(Moka pot coffee making)

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


(subclass MokaPotCoffeeMaking CoffeeMaking) Food.kif 908-908 Moka pot coffee making is a subclass of coffee making
(documentation MokaPotCoffeeMaking EnglishLanguage "MokaPotCoffeeMaking uses a moka pot on the stove_top or electric device. A typical moka coffee is extracted at relatively low pressures of 1 to 2 bar (100 to 200 kPa),[8] while standards for espresso coffee specify a pressure of 9 bar (900 kPa). Therefore, moka coffee is not considered to be an espresso and has different flavor characteristics. [Wikipedia]") Food.kif 909-913 Moka pot coffee making is a subclass of coffee making
(optimalGrindSizeForMakingCoffee MokaPotCoffeeMaking MediumFineGrind) Food.kif 915-915 Medium fine grind is the optimal CoffeeGrindAttribute for Moka pot coffee making coffee making process

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


(termFormat EnglishLanguage MokaPotCoffeeMaking "Moka pot coffee making") Food.kif 914-914

consequent
-------------------------


(=>
    (instance ?X MokaPot)
    (hasPurpose ?X
        (exists (?CM)
            (and
                (instance ?CM MokaPotCoffeeMaking)
                (instrument ?CM ?X)))))
Food.kif 924-930 If X is an instance of moka Pot, then X has the purpose there exists Y such that Y is an instance of Moka pot coffee making and X is an instrument for Y


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