| (=> (and (sheddingLeaves ?T ?L) (instance ?T DeciduousTree) (instance ?L PlantLeaf)) (exists (?SHED ?S) (and (subclass ?SHED Removing) (frequency ?SHED YearDuration) (instance ?S ?SHED) (origin ?S ?T) (patient ?S ?L)))) |
Geography.kif 6393-6404 | |
| (=> (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 | |
| (=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS LeafyGreenVegetable)) (initialPart ?CLASS Plant)) |
Economy.kif 4214-4218 | |
| (=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS Cabbage)) (initialPart ?CLASS CabbagePlant)) |
Economy.kif 4239-4243 | |
| (subclass PlantLeaf PlantAnatomicalStructure) | Mid-level-ontology.kif 9467-9467 | |
| (subclass PlantLeaf Organ) | Mid-level-ontology.kif 9468-9468 |
|
|