| 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 | Succulent is a subclass of flowering plant |
| appearance as argument number 2 |
|
|
| (subclass Aloes Succulent) | Economy.kif 6442-6442 | Aloes is a subclass of succulent |
| (subclass BlueAgave Succulent) | Food.kif 3504-3504 | 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 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