| Tavern
| |
| appearance as argument number 1 |
|
|
| (documentation Tavern EnglishLanguage "A Restaurant whose primary service is selling AlcoholicBeverages to customers.") | Mid-level-ontology.kif 7374-7375 | |
| (externalImage Tavern "http://upload.wikimedia.org/wikipedia/commons/6/6e/ Bangor_Tavern.JPG") | pictureList.kif 4835-4835 | |
| (subclass Tavern Restaurant) | Mid-level-ontology.kif 7373-7373 |
| appearance as argument number 2 |
|
|
| (subclass Brewpub Tavern) | Dining.kif 46-46 | |
| (termFormat ChineseLanguage Tavern "้ ้ฆ") | domainEnglishFormat.kif 56971-56971 | |
| (termFormat ChineseTraditionalLanguage Tavern "้ ้คจ") | domainEnglishFormat.kif 56970-56970 | |
| (termFormat EnglishLanguage Tavern "tavern") | domainEnglishFormat.kif 56969-56969 |
| 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 7377-7385 |
| consequent |
|
|
| (=> (instance ?X NightClub) (exists (?BAR) (and (instance ?BAR Tavern) (located ?BAR ?X)))) |
Mid-level-ontology.kif 25051-25056 |
|
|
|