| 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 33392-33392 | |
| (subclass Beer AlcoholicBeverage) | Mid-level-ontology.kif 12265-12265 |
| 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 |
|
|
|