TreeView Knowledge Base Browser - RadiatingUltraviolet

appearance as argument number 1

(subclass RadiatingUltraviolet RadiatingElectromagnetic)	Mid-level-ontology.kif 585-585	Radiating ultraviolet is a subclass of radiating electromagnetic
(disjoint RadiatingUltraviolet RadiatingLight)	Mid-level-ontology.kif 586-586	Radiating ultraviolet is disjoint from radiating light
(disjoint RadiatingUltraviolet RadiatingXRay)	Mid-level-ontology.kif 587-587	Radiating ultraviolet is disjoint from X ray radiation
(documentation RadiatingUltraviolet EnglishLanguage "Any case of RadiatingElectromagnetic where the wavelengths are shorter than those of visible light and longer than those of X-Rays.")	Mid-level-ontology.kif 588-590	Radiating ultraviolet is disjoint from X ray radiation

appearance as argument number 2

(abbreviation "UV" RadiatingUltraviolet)	Mid-level-ontology.kif 591-591	"UV" is an abbreviation of radiating ultraviolet
(disjoint RadiatingVisibleLight RadiatingUltraviolet)	Mid-level-ontology.kif 603-603	Radiating visible light is disjoint from radiating ultraviolet
(termFormat EnglishLanguage RadiatingUltraviolet "radiating ultraviolet")	domainEnglishFormat.kif 48457-48457	Radiating visible light is disjoint from radiating ultraviolet
(termFormat ChineseTraditionalLanguage RadiatingUltraviolet "輻射紫外線")	domainEnglishFormat.kif 48458-48458	Radiating visible light is disjoint from radiating ultraviolet
(termFormat ChineseLanguage RadiatingUltraviolet "辐射紫外线")	domainEnglishFormat.kif 48459-48459	Radiating visible light is disjoint from radiating ultraviolet

consequent

(=>
    (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