Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WineTasting |  | wine_tasting |
| appearance as argument number 1 |
|
|
| (subclass WineTasting Meeting) | Offers.kif 337-337 | WineTasting is a subclass of meeting |
| (documentation WineTasting EnglishLanguage "Wine tasting is a gathering of people to taste and compare different wines [c/ o WordNet].") | Offers.kif 338-338 | WineTasting is a subclass of meeting |
| antecedent |
|
|
| (=> (instance ?WT WineTasting) (hasPurpose ?WT (exists (?D ?W) (and (instance ?D Drinking) (patient ?D ?W) (instance ?W Wine) (located ?D ?WT))))) |
Offers.kif 339-347 | If X is an instance of WineTasting, then X has the purpose there exist Y, Z such that Y is an instance of drinking, Z is a patient of Y, Z is an instance of wine, and Y is located at X |
|