sheddingLeaves - Sigma Knowledge base Browser

appearance as argument number 1

(instance sheddingLeaves SheddingPart)	Geography.kif 8061-8061	shedding leaves is an instance of shedding part
(domain sheddingLeaves 1 Plant)	Geography.kif 8062-8062	The number 1 argument of shedding leaves is an instance of plant
(domain sheddingLeaves 2 PlantLeaf)	Geography.kif 8063-8063	The number 2 argument of shedding leaves is an instance of plant leaf
(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 8064-8065	The number 2 argument of shedding leaves is an instance of plant leaf

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 65970-65970

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))))

If X is a Removing Y from its stems, X is an instance of deciduous tree, and Y is an instance of plant leaf, then there exist Z, W such that Z is a subclass of removing, Z occurs every year duration, W is an instance of Z, W originates at X, and Y is a patient of W

consequent

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

If X is an instance of evergreen tree and Y is an instance of plant leaf, then X is a Removing Y from its stems