Tanning - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Tanning OrganOrTissueProcess)	Mid-level-ontology.kif 12507-12507	Tanning is a subclass of organ or tissue process
(documentation Tanning EnglishLanguage "A darkening of the Skin due to exposure to the sun (Sol), due to the body's production of melanin.")	Mid-level-ontology.kif 12508-12510	Tanning is a subclass of organ or tissue process

appearance as argument number 2

(termFormat EnglishLanguage Tanning "tanning")

antecedent

(=>
    (and
        (instance ?S Tanning)
        (experiencer ?S ?H))
    (exists (?D ?SKIN)
        (and
            (instance ?D RadiatingUltraviolet)
            (instrument ?D Sol)
            (instance ?SKIN Skin)
            (part ?SKIN ?H)
            (patient ?D ?SKIN))))

If X is an instance of tanning and Y experiences X, then there exist Z, W such that Z is an instance of radiating ultraviolet, sol is an instrument for Z, W is an instance of skin, W is a part of Y, and W is a patient of Z