Brewpub
|
|
appearance as argument number 1 |
(documentation Brewpub EnglishLanguage "a type of Tavern that brews Beer and whose primary service is selling that Beer to customers") | Dining.kif 47-48 | |
(subclass Brewpub Tavern) | Dining.kif 46-46 |
appearance as argument number 2 |
(termFormat EnglishLanguage Brewpub "Brewpub") | Dining.kif 49-49 |
antecedent |
(=> (instance ?PUB Brewpub) (exists (?SERVICE ?BEER ?BREW) (and (instance ?BREW Making) (result ?BREW ?BEER) (instance ?BEER Beer) (agent ?BREW ?PUB) (instance ?SERVICE CommercialService) (agent ?SERVICE ?PUB) (instance ?SERVICE Selling) (patient ?SERVICE ?BEER)))) |
Dining.kif 51-62 |