sheddingLeaves - Sigma Knowledge base Browser

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 6414-6415
(domain sheddingLeaves 1 Plant)	Geography.kif 6412-6412
(domain sheddingLeaves 2 PlantLeaf)	Geography.kif 6413-6413
(instance sheddingLeaves SheddingPart)	Geography.kif 6411-6411

appearance as argument number 2

(format EnglishLanguage sheddingLeaves "%1 is a Removing %2 from its stems")	domainEnglishFormat.kif 5015-5015
(termFormat EnglishLanguage sheddingLeaves "shedding leaves")	domainEnglishFormat.kif 65989-65989

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 6368-6379

consequent

(=>
    (and
        (instance ?T EvergreenTree)
        (instance ?L PlantLeaf))
    (not
        (sheddingLeaves ?T ?L)))

Geography.kif 6523-6528