| PlantLeaf | |
| appearance as argument number 1 |
|
|
| (documentation PlantLeaf EnglishLanguage "An Organ of Plants whose main purpose is photosynthesis.") | Mid-level-ontology.kif 10799-10800 | |
| (subclass PlantLeaf Organ) | Mid-level-ontology.kif 10798-10798 | PlantLeaf 是 器官 的 subclass |
| (subclass PlantLeaf PlantAnatomicalStructure) | Mid-level-ontology.kif 10797-10797 | PlantLeaf 是 植物解剖结构 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PlantLeaf "plant leaf") | domainEnglishFormat.kif 65318-65318 |
| appearance as argument number 3 |
|
|
| (domain sheddingLeaves 2 PlantLeaf) | Geography.kif 6741-6741 | sheddingLeaves 的 2 数量 是 PlantLeaf 的 instance |
| antecedent |
|
|
| (=> (and (instance ?T EvergreenTree) (instance ?L PlantLeaf)) (not (sheddingLeaves ?T ?L))) |
Geography.kif 6851-6856 |
|
| (=> (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 6696-6707 | |
| (=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS Cabbage)) (initialPart ?CLASS CabbagePlant)) |
Economy.kif 4576-4580 | |
| (=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS LeafyGreenVegetable)) (initialPart ?CLASS Plant)) |
Economy.kif 4551-4555 |
| 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 10890-10903 |
|
|
|