Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MokaPot(moka Pot) |
| appearance as argument number 1 |
|
| (subclass MokaPot PotOrPan) | Food.kif 917-917 | Moka Pot is a subclass of pot or pan |
| (documentation MokaPot EnglishLanguage "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 918-921 | Moka Pot is a subclass of pot or pan |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MokaPot "moka Pot") | Food.kif 922-922 |
| antecedent |
|
|
| (=> (instance ?X MokaPot) (hasPurpose ?X (exists (?CM) (and (instance ?CM MokaPotCoffeeMaking) (instrument ?CM ?X))))) |
Food.kif 924-930 | If X is an instance of moka Pot, then X has the purpose there exists Y such that Y is an instance of Moka pot coffee making and X is an instrument for Y |
|