appearance as argument number 1 |
(documentation PlantLeaf EnglishLanguage "An Organ of Plants whose main purpose is photosynthesis.") | Mid-level-ontology.kif 9469-9470 | |
(subclass PlantLeaf Organ) | Mid-level-ontology.kif 9468-9468 | Plant leaf is a subclass of organ |
(subclass PlantLeaf PlantAnatomicalStructure) | Mid-level-ontology.kif 9467-9467 | Plant leaf is a subclass of plant anatomical structure |
appearance as argument number 2 |
(termFormat EnglishLanguage PlantLeaf "plant leaf") | domainEnglishFormat.kif 65324-65324 |
appearance as argument number 3 |
(domain sheddingLeaves 2 PlantLeaf) | Geography.kif 6438-6438 | The number 2 argument of shedding leaves is an instance of plant leaf |
antecedent |
consequent |
(=> (and (instance ?P Plant) (part ?TIS ?P)) (exists (?K ?W ?CLASS) (and (instance ?K ?CLASS) (subclass ?CLASS Keeping) (instance ?W FreshWater) (patient ?K ?W) (capability ?CLASS instrument ?TIS) (or (instance ?TIS PlantLeaf) (instance ?TIS PlantStem))))) |
Mid-level-ontology.kif 9560-9573 |
|