| 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 12284-12285 | |
| (externalImage Beer "http://articulatesoftware.com/SUMOpictures/food/beverages/ alcohol/ beer1.png") | pictureList.kif 268-268 | |
| (roomTempState Beer Liquid) | Mid-level-ontology.kif 33149-33149 | room temperature state beer and liquid |
| (subclass Beer AlcoholicBeverage) | Mid-level-ontology.kif 12283-12283 | 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 |
|
|
|
|