Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadiatingUltraviolet
RadiatingUltraviolet(radiating ultraviolet)UV, sun-ray, sunray, ultraviolet, ultraviolet_illumination, ultraviolet_light, ultraviolet_radiation

appearance as argument number 1
-------------------------


(disjoint RadiatingUltraviolet RadiatingLight) Mid-level-ontology.kif 603-603 Radiating ultraviolet is disjoint from radiating light
(disjoint RadiatingUltraviolet RadiatingXRay) Mid-level-ontology.kif 604-604 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 605-607
(subclass RadiatingUltraviolet RadiatingElectromagnetic) Mid-level-ontology.kif 602-602 Radiating ultraviolet is a subclass of radiating electromagnetic

appearance as argument number 2
-------------------------


(abbreviation "UV" RadiatingUltraviolet) Mid-level-ontology.kif 608-608 "UV" is an abbreviation of radiating ultraviolet
(disjoint RadiatingVisibleLight RadiatingUltraviolet) Mid-level-ontology.kif 620-620 Radiating visible light is disjoint from radiating ultraviolet
(termFormat ChineseLanguage RadiatingUltraviolet "辐射紫外线") domainEnglishFormat.kif 48464-48464
(termFormat ChineseTraditionalLanguage RadiatingUltraviolet "輻射紫外線") domainEnglishFormat.kif 48463-48463
(termFormat EnglishLanguage RadiatingUltraviolet "radiating ultraviolet") domainEnglishFormat.kif 48462-48462

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 11023-11033


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners