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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MokaPot
MokaPot

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


(subclass MokaPot PotOrPan) Food.kif 940-940 MokaPot ist eine teilkategorie von PotOrPan

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