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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MokaPot

Sigma KEE - MokaPot
MokaPot(moka Pot)

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


(subclass MokaPot PotOrPan) Food.kif 940-940 Moka Pot is a subclass of pot or pan

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


(documentation EnglishLanguage MokaPot "MokaPot is a stove-top or electric coffee maker that brews coffee by passing boiling water pressurized by steam through ground coffee. Named after the Yemeni city of Mocha, it was invented by Alfonso Bialetti. [Wikipedia]") Food.kif 941-944
(termFormat EnglishLanguage MokaPot "moka Pot") Food.kif 945-945

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


(=>
    (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