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 6508-6509
(domain sheddingLeaves 1 Plant)	Geography.kif 6506-6506
(domain sheddingLeaves 2 PlantLeaf)	Geography.kif 6507-6507
(instance sheddingLeaves SheddingPart)	Geography.kif 6505-6505

appearance as argument number 2

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

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 6462-6473

consequent

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

Geography.kif 6617-6622