ConsecutiveTimeIntervalList
|
|
appearance as argument number 1 |
(documentation PlantLeaf EnglishLanguage "An Organ of Plants whose main purpose is photosynthesis.") | Mid-level-ontology.kif 9497-9498 | |
(subclass PlantLeaf Organ) | Mid-level-ontology.kif 9496-9496 | 子類 PlantLeaf and Organ |
(subclass PlantLeaf PlantAnatomicalStructure) | Mid-level-ontology.kif 9495-9495 | 子類 PlantLeaf and 植物解剖結構 |
appearance as argument number 2 |
(termFormat EnglishLanguage PlantLeaf "plant leaf") | domainEnglishFormat.kif 65326-65326 |
appearance as argument number 3 |
(domain sheddingLeaves 2 PlantLeaf) | Geography.kif 6438-6438 | 域 sheddingLeaves, 2 and PlantLeaf |
antecedent |
(=> (and (instance ?T EvergreenTree) (instance ?L PlantLeaf)) (not (sheddingLeaves ?T ?L))) |
Geography.kif 6548-6553 |
|
(=> (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 (subclass ?CLASS PlantLeaf) (equal ?CLASS Cabbage)) (initialPart ?CLASS CabbagePlant)) |
Economy.kif 4239-4243 | |
(=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS LeafyGreenVegetable)) (initialPart ?CLASS Plant)) |
Economy.kif 4214-4218 |
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 9588-9601 |