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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MokaPot

appearance as argument number 1

(subclass MokaPot PotOrPan) Food.kif 940-940 子類 MokaPot and 鍋或杅

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


    (instance ?X MokaPot)
    (hasPurpose ?X
        (exists (?CM)
                (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