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