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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Succulent
Succulent

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


(documentation Succulent EnglishLanguage "Succulents are Drought resistant Plants in which their Plantleaf and PlantStem contain water_storing Tissue.") Geography.kif 6350-6351
(subclass Succulent FloweringPlant) Geography.kif 6349-6349

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


(subclass Aloes Succulent) Economy.kif 6442-6442
(subclass BlueAgave Succulent) Food.kif 3504-3504
(termFormat EnglishLanguage Succulent "succulent") domainEnglishFormat.kif 65578-65578

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


(=>
    (instance ?P Succulent)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Drought)
                (experiencer ?D ?P)
                (attribute ?P Living))) Likely))
Geography.kif 6354-6361


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