TreeView Knowledge Base Browser - RadiatingUltraviolet

appearance as argument number 1

(disjoint RadiatingUltraviolet RadiatingLight)	Mid-level-ontology.kif 596-596	不相交的輻射紫外線 and RadiatingLight
(disjoint RadiatingUltraviolet RadiatingXRay)	Mid-level-ontology.kif 597-597	不相交的輻射紫外線 and X射線輻射
(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 598-600
(subclass RadiatingUltraviolet RadiatingElectromagnetic)	Mid-level-ontology.kif 595-595	子類輻射紫外線 and 輻射電磁

appearance as argument number 2

(abbreviation "UV" RadiatingUltraviolet)	Mid-level-ontology.kif 601-601	輻射紫外線是 "UV" 的簡稱
(disjoint RadiatingVisibleLight RadiatingUltraviolet)	Mid-level-ontology.kif 613-613	不相交的輻射可見光 and 輻射紫外線
(termFormat ChineseLanguage RadiatingUltraviolet "辐射紫外线")	domainEnglishFormat.kif 48466-48466
(termFormat ChineseTraditionalLanguage RadiatingUltraviolet "輻射紫外線")	domainEnglishFormat.kif 48465-48465
(termFormat EnglishLanguage RadiatingUltraviolet "radiating ultraviolet")	domainEnglishFormat.kif 48464-48464

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

Mid-level-ontology.kif 11050-11060