Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   BeverageTasting
|
|
|
| appearance as argument number 1 |
|
|
| (subclass BeverageTasting Meeting) | Offers.kif 351-351 | BeverageTasting is a subclass of meeting |
| (documentation BeverageTasting EnglishLanguage "Beverage tasting is a gathering of people to taste and compare different types of a given Beverage, usually an alcoholic one.") | Offers.kif 352-352 | BeverageTasting is a subclass of meeting |
| antecedent |
|
|
| (=> (instance ?BT BeverageTasting) (hasPurpose ?BT (exists (?D ?B) (and (instance ?D Drinking) (patient ?D ?B) (instance ?B Beverage) (located ?D ?BT))))) |
Offers.kif 353-361 | If X is an instance of BeverageTasting, 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 beverage, and Y is located at X |
|