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


KB Term:  Term intersection
English Word: 

Sigma KEE - Grape
Grape(grape)
Catawba, Chenin_blanc, Concord_grape, Pinot, Pinot_blanc, Pinot_grape, Riesling, Sauvignon_grape, Thompson_Seedless, Tokay, Verdicchio, bullace_grape, emperor, flame_tokay, fox_grape, grape, malvasia, muscadine, muscat, muscat_grape, muscatel, muskat, ribier, scuppernong, slipskin_grape, sultana, vinifera_grape

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


(subclass Grape Fruit) Food.kif 2295-2295 Grape is a subclass of fruit
(externalImage Grape "http://articulatesoftware.com/SUMOpictures/food/fruit/ grapes/ grape_1.png") pictureList.kif 470-470 Grape is a subclass of fruit

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


(subclass WineGrape Grape) Food.kif 3699-3699 Wine grape is a subclass of grape
(termFormat EnglishLanguage Grape "grape") domainEnglishFormat.kif 26432-26432 Wine grape is a subclass of grape
(termFormat ChineseTraditionalLanguage Grape "葡萄") domainEnglishFormat.kif 26433-26433 Wine grape is a subclass of grape
(termFormat ChineseLanguage Grape "葡萄") domainEnglishFormat.kif 26434-26434 Wine grape is a subclass of grape

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


(=>
    (instance ?R Raisin)
    (exists (?D ?G)
        (and
            (instance ?D Drying)
            (instance ?G Grape)
            (patient ?D ?G)
            (result ?D ?R))))
Food.kif 3334-3341 If X is an instance of raisin, then there exist Y, Z such that Y is an instance of drying, Z is an instance of grape, Z is a patient of Y, and X is a result of Y


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners