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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MokaPotCoffeeMaking
MokaPotCoffeeMaking

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


(optimalGrindSizeForMakingCoffee MokaPotCoffeeMaking MediumFineGrind) Food.kif 938-938 optimalGrindSizeForMakingCoffee MokaPotCoffeeMaking and MediumFineGrind
(subclass MokaPotCoffeeMaking CoffeeMaking) Food.kif 931-931 MokaPotCoffeeMaking ist eine teilkategorie von CoffeeMaking

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


(documentation EnglishLanguage MokaPotCoffeeMaking "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 932-936
(termFormat EnglishLanguage MokaPotCoffeeMaking "Moka pot coffee making") Food.kif 937-937

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


(=>
    (instance ?X MokaPot)
    (hasPurpose ?X
        (exists (?CM)
            (and
                (instance ?CM MokaPotCoffeeMaking)
                (instrument ?CM ?X)))))
Food.kif 947-953


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