| Beer(beer)
| | Burton, Guinness, Munchener, Munich_beer, Octoberfest, Oktoberfest, Pilsener, Pilsner, Weissbier, Weizenbier, Weizenbock, ale, beer, bitter, bock, bock_beer, draft_beer, draught_beer, kvass, lager, lager_beer, light_beer, pale_ale, porter, porter's_beer, stout, suds, wheat_beer, white_beer |
| appearance as argument number 1 |
|
|
| (documentation Beer EnglishLanguage "An AlcoholicBeverage that is prepared by fermenting malt and hops.") | Mid-level-ontology.kif 12266-12267 | |
| (externalImage Beer "http://articulatesoftware.com/SUMOpictures/food/beverages/ alcohol/ beer1.png") | pictureList.kif 268-268 | |
| (roomTempState Beer Liquid) | Mid-level-ontology.kif 33390-33390 | room temperature state beer and liquid |
| (subclass Beer AlcoholicBeverage) | Mid-level-ontology.kif 12265-12265 | Beer is a subclass of alcoholic beverage |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Beer "啤酒") | domainEnglishFormat.kif 10506-10506 | |
| (termFormat ChineseTraditionalLanguage Beer "啤酒") | domainEnglishFormat.kif 10505-10505 | |
| (termFormat EnglishLanguage Beer "beer") | domainEnglishFormat.kif 10504-10504 |
| consequent |
|
|
| (=> (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 |
|
|
|
|