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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Succulent

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 6282-6283
(subclass Succulent FloweringPlant) Geography.kif 6281-6281 Succulent ist eine teilkategorie von FloweringPlant

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


(subclass Aloes Succulent) Economy.kif 6227-6227 Aloes ist eine teilkategorie von Succulent
(subclass BlueAgave Succulent) Food.kif 3504-3504 BlueAgave ist eine teilkategorie von Succulent
(termFormat EnglishLanguage Succulent "succulent") domainEnglishFormat.kif 65555-65555

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


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


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 3.0 is open source software produced by Articulate Software and its partners