| 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 11153-11154 | |
| (externalImage Beer "http://articulatesoftware.com/SUMOpictures/food/beverages/ alcohol/ beer1.png") | pictureList.kif 268-268 | |
| (roomTempState Beer Liquid) | Mid-level-ontology.kif 31710-31710 | roomTempState beer and liquid |
| (subclass Beer AlcoholicBeverage) | Mid-level-ontology.kif 11152-11152 | Beer is a subclass of alcoholic beverage |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Beer "啤酒") | domainEnglishFormat.kif 10513-10513 | |
| (termFormat ChineseTraditionalLanguage Beer "啤酒") | domainEnglishFormat.kif 10512-10512 | |
| (termFormat EnglishLanguage Beer "beer") | domainEnglishFormat.kif 10511-10511 |
| 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 |
|
|
|
|