| (=> (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 6463-6474 | |
| (=> (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 10908-10921 | |
| (=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS LeafyGreenVegetable)) (initialPart ?CLASS Plant)) |
Economy.kif 4551-4555 | |
| (=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS Cabbage)) (initialPart ?CLASS CabbagePlant)) |
Economy.kif 4576-4580 | |
| (subclass PlantLeaf PlantAnatomicalStructure) | Mid-level-ontology.kif 10815-10815 | PlantLeaf 是 植物解剖结构 的 subclass |
| (subclass PlantLeaf Organ) | Mid-level-ontology.kif 10816-10816 | PlantLeaf 是 器官 的 subclass |
|
|