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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadiatingUltraviolet

Sigma KEE - RadiatingUltraviolet
RadiatingUltraviolet(輻射紫外線)

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


(disjoint RadiatingUltraviolet RadiatingLight) Mid-level-ontology.kif 603-603 不相交的 輻射紫外線 and RadiatingLight
(disjoint RadiatingUltraviolet RadiatingXRay) Mid-level-ontology.kif 604-604 不相交的 輻射紫外線 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 605-607
(subclass RadiatingUltraviolet RadiatingElectromagnetic) Mid-level-ontology.kif 602-602 子類 輻射紫外線 and 輻射電磁

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


(abbreviation "UV" RadiatingUltraviolet) Mid-level-ontology.kif 608-608 輻射紫外線 是 "UV" 的簡稱
(disjoint RadiatingVisibleLight RadiatingUltraviolet) Mid-level-ontology.kif 620-620 不相交的 輻射可見光 and 輻射紫外線
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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