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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Raisin
Raisin(raisin)currant, raisin, seeded_raisin, seedless_raisin, sultana

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


(documentation Raisin EnglishLanguage "A raisin is a dried grape.") Food.kif 3324-3324
(subclass Raisin FoodFromPlant) Food.kif 3323-3323 Raisin is a subclass of food from plant
(subclass Raisin PreparedFood) Food.kif 3322-3322 Raisin is a subclass of prepared food

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


(termFormat EnglishLanguage Raisin "raisin") domainEnglishFormat.kif 65385-65385

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


(=>
    (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