Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (subclass Beer AlcoholicBeverage) | Mid-level-ontology.kif 12412-12412 | Beer is a subclass of alcoholic beverage |
| (documentation Beer EnglishLanguage "An AlcoholicBeverage that is prepared by fermenting malt and hops.") | Mid-level-ontology.kif 12413-12414 | Beer is a subclass of alcoholic beverage |
| (roomTempState Beer Liquid) | Mid-level-ontology.kif 33921-33921 | room temperature state beer and liquid |
| (documentation Beer EnglishLanguage "An AlcoholicBeverage that is prepared by Fermentation of Malt and Hops.") | Society.kif 1130-1130 | room temperature state beer and liquid |
| (subclass Beer BeverageArtifact) | Society.kif 1131-1131 | Beer is a subclass of BeverageArtifact |
| (externalImage Beer "http://articulatesoftware.com/SUMOpictures/food/beverages/ alcohol/ beer1.png") | pictureList.kif 268-268 | Beer is a subclass of BeverageArtifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?B Beer) (exists (?BREW ?W ?M) (and (instance ?BREW Fermentation) (instance ?W Water) (instance ?M Malt) (resource ?BREW ?W) (resource ?BREW ?M) (result ?BREW ?B)))) |
Society.kif 1132-1141 | If X is an instance of beer, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of fermentation (3) Z is an instance of water (4) W is an instance of malt (5) Z is a resource for Y (6) W is a resource for Y (7) X is a result of Y |
| 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 | If X is an instance of Brewpub, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of making (3) Z is a result of W (4) Z is an instance of beer (5) X is an agent of W (6) Y is an instance of commercial service (7) X is an agent of Y (8) Y is an instance of selling (9) Z is a patient of Y |
| (=> (instance ?B BeerBrewery) (hasPurpose ?B (exists (?EV) (and (instance ?EV Fermentation) (eventLocated ?EV ?B) (result ?EV Beer))))) |
Society.kif 1155-1162 | If X is an instance of BeerBrewery, then X has the purpose there exists Y such that Y is an instance of fermentation, Y is located at X, and beer is a result of Y |
|