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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Grape
Grape

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


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

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


(subclass WineGrape Grape) Food.kif 3690-3690
(termFormat ChineseLanguage Grape "葡萄") domainEnglishFormat.kif 26430-26430
(termFormat ChineseTraditionalLanguage Grape "葡萄") domainEnglishFormat.kif 26429-26429
(termFormat EnglishLanguage Grape "grape") domainEnglishFormat.kif 26428-26428

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


(=>
    (instance ?R Raisin)
    (exists (?D ?G)
        (and
            (instance ?D Drying)
            (instance ?G Grape)
            (patient ?D ?G)
            (result ?D ?R))))
Food.kif 3325-3332


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