Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Tavern(tavern)
|  | bar, barroom, cocktail_lounge, ginmill, oyster_bar, saloon, taproom, wine_bar |
| appearance as argument number 1 |
|
|
| (subclass Tavern Restaurant) | Mid-level-ontology.kif 9000-9000 | Tavern is a subclass of restaurant |
| (documentation Tavern EnglishLanguage "A Restaurant whose primary service is selling AlcoholicBeverages to customers.") | Mid-level-ontology.kif 9001-9002 | Tavern is a subclass of restaurant |
| (externalImage Tavern "http://upload.wikimedia.org/wikipedia/commons/6/6e/ Bangor_Tavern.JPG") | pictureList.kif 4833-4833 | Tavern is a subclass of restaurant |
| appearance as argument number 2 |
|
|
| (subclass Brewpub Tavern) | Dining.kif 46-46 | Brewpub is a subclass of tavern |
| (termFormat EnglishLanguage Tavern "tavern") | domainEnglishFormat.kif 57020-57020 | Brewpub is a subclass of tavern |
| (termFormat ChineseTraditionalLanguage Tavern "้ ้คจ") | domainEnglishFormat.kif 57021-57021 | Brewpub is a subclass of tavern |
| (termFormat ChineseLanguage Tavern "้ ้ฆ") | domainEnglishFormat.kif 57022-57022 | Brewpub is a subclass of tavern |
| antecedent |
|
|
| (=> (instance ?COMPANY Tavern) (exists (?SERVICE ?BEVERAGE) (and (instance ?SERVICE CommercialService) (agent ?SERVICE ?COMPANY) (instance ?SERVICE Selling) (patient ?SERVICE ?BEVERAGE) (instance ?BEVERAGE AlcoholicBeverage)))) |
Mid-level-ontology.kif 9004-9012 | If X is an instance of tavern, then there exist Y, Z such that Y is an instance of commercial service, X is an agent of Y, Y is an instance of selling, Z is a patient of Y, and Z is an instance of alcoholic beverage |
| consequent |
|
|
| (=> (instance ?X NightClub) (exists (?BAR) (and (instance ?BAR Tavern) (located ?BAR ?X)))) |
Mid-level-ontology.kif 29471-29476 | If X is an instance of night club, then there exists Y such that Y is an instance of tavern and Y is located at X |
|