Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Succulent
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Succulent FloweringPlant) | Geography.kif 7881-7881 | Succulent is a subclass of flowering plant |
| (documentation Succulent EnglishLanguage "Succulents are Drought resistant Plants in which their Plantleaf and PlantStem contain water_storing Tissue.") | Geography.kif 7882-7883 | Succulent is a subclass of flowering plant |
| appearance as argument number 2 |
|
|
| (subclass Aloes Succulent) | Economy.kif 6650-6650 | Aloes is a subclass of succulent |
| (subclass BlueAgave Succulent) | Food.kif 3542-3542 | Blue agave is a subclass of succulent |
| (termFormat EnglishLanguage Succulent "succulent") | domainEnglishFormat.kif 65558-65558 | 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 7886-7893 | If X is an instance of succulent, then the statement there exists Y such that Y is an instance of drought, X experiences Y, and living is an attribute of X has the modal force of likely |
|