Tavern
|
|
appearance as argument number 1 |
(documentation Tavern EnglishLanguage "A Restaurant whose primary service is selling AlcoholicBeverages to customers.") | Mid-level-ontology.kif 7707-7708 | |
(externalImage Tavern "http://upload.wikimedia.org/wikipedia/commons/6/6e/ Bangor_Tavern.JPG") | pictureList.kif 4834-4834 | |
(subclass Tavern Restaurant) | Mid-level-ontology.kif 7706-7706 | 酒馆 是 餐厅 的 subclass |
appearance as argument number 2 |
(subclass Brewpub Tavern) | Dining.kif 46-46 | Brewpub 是 酒馆 的 subclass |
(termFormat ChineseLanguage Tavern "酒馆") | domainEnglishFormat.kif 57027-57027 | |
(termFormat ChineseTraditionalLanguage Tavern "酒館") | domainEnglishFormat.kif 57026-57026 | |
(termFormat EnglishLanguage Tavern "tavern") | domainEnglishFormat.kif 57025-57025 |
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 7710-7718 |
consequent |
(=> (instance ?X NightClub) (exists (?BAR) (and (instance ?BAR Tavern) (located ?BAR ?X)))) |
Mid-level-ontology.kif 26910-26915 |