Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wine

Sigma KEE - Wine
Wine
نَبِيذ, خَمْر, خَمْرَة, ...

appearance as argument number 1
-------------------------


(documentation Wine EnglishLanguage "An AlcoholicBeverage that is prepared by fermenting the juice of WineGrapes.") Society.kif 1191-1191
(externalImage Wine "http://www.adampease.org/Articulate/SUMOpictures/pictures/ holiday/ wine3.png") pictureList.kif 842-842
(subclass Wine AlcoholicBeverage) Mid-level-ontology.kif 9349-9349
(subclass Wine BeverageArtifact) Society.kif 1193-1193
(subclass Wine PlantAgriculturalArtifact) Society.kif 1024-1024

appearance as argument number 2
-------------------------


(subclass Champagne Wine) Food.kif 559-559
(termFormat EnglishLanguage Wine "wine") domainEnglishFormat.kif 10952-10952

antecedent
-------------------------


(=>
    (instance ?W Wine)
    (exists (?F ?WG)
        (and
            (instance ?F Fermentation)
            (instance ?WG
                (JuiceOfFn WineGrape))
            (resource ?F ?WG)
            (result ?F ?W))))
Society.kif 1207-1214

consequent
-------------------------


(=>
    (instance ?B Brandy)
    (exists (?D ?W)
        (and
            (instance ?D Distilling)
            (instance ?W Wine)
            (resource ?D ?W)
            (result ?D ?B))))
Food.kif 1106-1113
(=>
    (instance ?CLASS WineMakingClass)
    (exists (?PROC ?WINE)
        (and
            (instance ?PROC Making)
            (result ?PROC ?WINE)
            (instance ?WINE Wine)
            (subProcess ?PROC ?CLASS))))
Offers.kif 245-252
(=>
    (instance ?W Winery)
    (hasPurpose ?W
        (exists (?EV)
            (and
                (instance ?EV Making)
                (eventLocated ?EV ?W)
                (result ?EV Wine)))))
Society.kif 1198-1205
(=>
    (instance ?WT WineTasting)
    (hasPurpose ?WT
        (exists (?D ?W)
            (and
                (instance ?D Drinking)
                (patient ?D ?W)
                (instance ?W Wine)
                (located ?D ?WT)))))
Offers.kif 327-335


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners