sheddingLeaves |
appearance as argument number 1 |
(documentation sheddingLeaves EnglishLanguage "A relation between a Plant and its leaves which is given off as part of the normal process of life.") | Geography.kif 6439-6440 | |
(domain sheddingLeaves 1 Plant) | Geography.kif 6437-6437 | The number 1 argument of shedding leaves is an instance of plant |
(domain sheddingLeaves 2 PlantLeaf) | Geography.kif 6438-6438 | The number 2 argument of shedding leaves is an instance of plant leaf |
(instance sheddingLeaves SheddingPart) | Geography.kif 6436-6436 | shedding leaves is an instance of shedding part |
appearance as argument number 2 |
(format EnglishLanguage sheddingLeaves "%1 is a Removing %2 from its stems") | domainEnglishFormat.kif 5010-5010 | |
(termFormat EnglishLanguage sheddingLeaves "shedding leaves") | domainEnglishFormat.kif 65938-65938 |
antecedent |
(=> (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 |
|
consequent |
(=> (and (instance ?T EvergreenTree) (instance ?L PlantLeaf)) (not (sheddingLeaves ?T ?L))) |
Geography.kif 6548-6553 |
|