Moulting - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Moulting Removing)	Geography.kif 8067-8067	Moulting is a subclass of removing
(documentation Moulting EnglishLanguage "Moulting is the Process whereby %Organism casts off a part of its body (often, but not always, an outer layer or covering) as a normal part of its life.")	Geography.kif 8068-8070	Moulting is a subclass of removing

appearance as argument number 2

(termFormat EnglishLanguage Moulting "moulting")

consequent

(=>
    (sheddingBodyPart ?O ?P)
    (exists (?M)
        (and
            (instance ?M Moulting)
            (origin ?M ?O)
            (patient ?M ?P))))

If X is Removing Y from its body, then there exists Z such that Z is an instance of moulting, Z originates at X, and Y is a patient of Z