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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadiatingUltraviolet
RadiatingUltraviolet

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


(disjoint RadiatingUltraviolet RadiatingLight) Mid-level-ontology.kif 603-603
(disjoint RadiatingUltraviolet RadiatingXRay) Mid-level-ontology.kif 604-604
(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

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


(abbreviation "UV" RadiatingUltraviolet) Mid-level-ontology.kif 608-608
(disjoint RadiatingVisibleLight RadiatingUltraviolet) Mid-level-ontology.kif 620-620
(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