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 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 5014-5014
(termFormat EnglishLanguage sheddingLeaves "shedding leaves")	domainEnglishFormat.kif 65995-65995

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