![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MokaPotCoffeeMaking(Moka pot coffee making) |
| appearance as argument number 1 |
|
|
| (subclass MokaPotCoffeeMaking CoffeeMaking) | Food.kif 908-908 | Moka pot coffee making is a subclass of coffee making |
| (documentation MokaPotCoffeeMaking EnglishLanguage "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 909-913 | Moka pot coffee making is a subclass of coffee making |
| (optimalGrindSizeForMakingCoffee MokaPotCoffeeMaking MediumFineGrind) | Food.kif 915-915 | Medium fine grind is the optimal CoffeeGrindAttribute for Moka pot coffee making coffee making process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MokaPotCoffeeMaking "Moka pot coffee making") | Food.kif 914-914 |
| consequent |
|
|
| (=> (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 |