Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FrenchPressPot(French press) |
| appearance as argument number 1 |
|
| (subclass FrenchPressPot PotOrPan) | Food.kif 848-848 | French press is a subclass of pot or pan |
| (documentation FrenchPressPot EnglishLanguage "FrenchPressPot is a coffee plunger to brew coffee.The earliest known device was patented in 1852 in France by Jacques_Victor Delforge and Henri_Otto Mayer.[Wikipedia]") | Food.kif 849-851 | French press is a subclass of pot or pan |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FrenchPressPot "French press") | Food.kif 852-852 |
| antecedent |
|
|
| (=> (instance ?X FrenchPressPot) (hasPurpose ?X (exists (?CM) (and (instance ?CM FrenchPressingCoffee) (instrument ?CM ?X))))) |
Food.kif 854-860 | If X is an instance of French press, then X has the purpose there exists Y such that Y is an instance of French press coffee and X is an instrument for Y |
|