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 592-592 辐射紫外线 和 % 2 是 disjoint
(disjoint RadiatingUltraviolet RadiatingXRay) Mid-level-ontology.kif 593-593 辐射紫外线 和 % 2 是 disjoint
(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 594-596
(subclass RadiatingUltraviolet RadiatingElectromagnetic) Mid-level-ontology.kif 591-591 辐射紫外线辐射电磁subclass

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


(abbreviation "UV" RadiatingUltraviolet) Mid-level-ontology.kif 597-597 辐射紫外线 是 "UV" 的简称
(disjoint RadiatingVisibleLight RadiatingUltraviolet) Mid-level-ontology.kif 609-609 辐射可见光 和 % 2 是 disjoint
(termFormat ChineseLanguage RadiatingUltraviolet "辐射紫外线") domainEnglishFormat.kif 48447-48447
(termFormat ChineseTraditionalLanguage RadiatingUltraviolet "輻射紫外線") domainEnglishFormat.kif 48446-48446
(termFormat EnglishLanguage RadiatingUltraviolet "radiating ultraviolet") domainEnglishFormat.kif 48445-48445

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 10526-10536


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