| 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 6352-6353 | |
| (subclass Succulent FloweringPlant) | Geography.kif 6351-6351 | Succulent is a subclass of flowering plant |
| appearance as argument number 2 |
|
|
| (subclass Aloes Succulent) | Economy.kif 6625-6625 | Aloes is a subclass of succulent |
| (subclass BlueAgave Succulent) | Food.kif 3511-3511 | Blue agave is a subclass of succulent |
| (termFormat EnglishLanguage Succulent "succulent") | domainEnglishFormat.kif 65578-65578 | Blue agave is a subclass of succulent |
| antecedent |
|
|
| (=> (instance ?P Succulent) (modalAttribute (exists (?D) (and (instance ?D Drought) (experiencer ?D ?P) (attribute ?P Living))) Likely)) |
Geography.kif 6356-6363 |
|
|
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