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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MokaPotCoffeeMaking

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 est une sous-classe de 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 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 is open source software produced by Articulate Software and its partners