Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Brewpub
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Brewpub Tavern) | Dining.kif 46-46 | Brewpub is a subclass of tavern |
| (documentation Brewpub EnglishLanguage "a type of Tavern that brews Beer and whose primary service is selling that Beer to customers") | Dining.kif 47-48 | Brewpub is a subclass of tavern |
| 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 | If X is an instance of Brewpub, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of making (3) Z is a result of W (4) Z is an instance of beer (5) X is an agent of W (6) Y is an instance of commercial service (7) X is an agent of Y (8) Y is an instance of selling (9) Z is a patient of Y |
|