Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Wine AlcoholicBeverage) | Mid-level-ontology.kif 12394-12394 | Wine is a subclass of alcoholic beverage |
| (documentation Wine EnglishLanguage "An AlcoholicBeverage that is prepared by fermenting the juice of grapes.") | Mid-level-ontology.kif 12395-12396 | Wine is a subclass of alcoholic beverage |
| (roomTempState Wine Liquid) | Mid-level-ontology.kif 33919-33919 | room temperature state wine and liquid |
| (subclass Wine PlantAgriculturalArtifact) | Society.kif 1000-1000 | Wine is a subclass of PlantAgriculturalArtifact |
| (documentation Wine EnglishLanguage "An AlcoholicBeverage that is prepared by fermenting the juice of WineGrapes.") | Society.kif 1164-1164 | Wine is a subclass of PlantAgriculturalArtifact |
| (subclass Wine BeverageArtifact) | Society.kif 1166-1166 | Wine is a subclass of BeverageArtifact |
| (externalImage Wine "http://articulatesoftware.com/SUMOpictures/holiday/ wine3.png") | pictureList.kif 842-842 | Wine is a subclass of BeverageArtifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?W Wine) (exists (?F ?WG) (and (instance ?F Fermentation) (instance ?WG (JuiceOfFn WineGrape)) (resource ?F ?WG) (result ?F ?W)))) |
Society.kif 1180-1187 | If X is an instance of wine, then there exist Y, Z such that Y is an instance of fermentation, Z is an instance of the juice of wine grape, Z is a resource for Y, and X is a result of Y |
| consequent |
|
|
| (=> (instance ?B Brandy) (exists (?D ?W) (and (instance ?D Distilling) (instance ?W Wine) (resource ?D ?W) (result ?D ?B)))) |
Food.kif 3677-3684 | If X is an instance of brandy, then there exist Y, Z such that Y is an instance of distilling, Z is an instance of wine, Z is a resource for Y, and X is a result of Y |
| (=> (and (instance ?F Fermentation) (patient ?F ?X) (instance ?X (JuiceOfFn WineGrape)) (result ?F ?W)) (instance ?W Wine)) |
Food.kif 3731-3738 | If X is an instance of fermentation, Y is a patient of X, Y is an instance of the juice of wine grape, and Z is a result of X, then Z is an instance of wine |
| (=> (instance ?CLASS WineMakingClass) (exists (?PROC ?WINE) (and (instance ?PROC Making) (result ?PROC ?WINE) (instance ?WINE Wine) (subProcess ?PROC ?CLASS)))) |
Offers.kif 257-264 | If X is an instance of WineMakingClass, then there exist Y, Z such that Y is an instance of making, Z is a result of Y, Z is an instance of wine, and Y is a subprocess of X |
| (=> (instance ?WT WineTasting) (hasPurpose ?WT (exists (?D ?W) (and (instance ?D Drinking) (patient ?D ?W) (instance ?W Wine) (located ?D ?WT))))) |
Offers.kif 339-347 | If X is an instance of WineTasting, then X has the purpose there exist Y, Z such that Y is an instance of drinking, Z is a patient of Y, Z is an instance of wine, and Y is located at X |
| (=> (instance ?W Winery) (hasPurpose ?W (exists (?EV) (and (instance ?EV Making) (eventLocated ?EV ?W) (result ?EV Wine))))) |
Society.kif 1171-1178 | If X is an instance of winery, then X has the purpose there exists Y such that Y is an instance of making, Y is located at X, and wine is a result of Y |
|
