| 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 596-596 | Radiating ultraviolet is disjoint from radiating light |
| (disjoint RadiatingUltraviolet RadiatingXRay) | Mid-level-ontology.kif 597-597 | 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 598-600 | Radiating ultraviolet is disjoint from X ray radiation |
| (subclass RadiatingUltraviolet RadiatingElectromagnetic) | Mid-level-ontology.kif 595-595 | Radiating ultraviolet is a subclass of radiating electromagnetic |
| appearance as argument number 2 |
|
|
| (abbreviation "UV" RadiatingUltraviolet) | Mid-level-ontology.kif 601-601 | "UV" is an abbreviation of radiating ultraviolet |
| (disjoint RadiatingVisibleLight RadiatingUltraviolet) | Mid-level-ontology.kif 613-613 | Radiating visible light is disjoint from radiating ultraviolet |
| (termFormat ChineseLanguage RadiatingUltraviolet "辐射紫外线") | domainEnglishFormat.kif 48495-48495 | Radiating visible light is disjoint from radiating ultraviolet |
| (termFormat ChineseTraditionalLanguage RadiatingUltraviolet "輻射紫外線") | domainEnglishFormat.kif 48494-48494 | Radiating visible light is disjoint from radiating ultraviolet |
| (termFormat EnglishLanguage RadiatingUltraviolet "radiating ultraviolet") | domainEnglishFormat.kif 48493-48493 | Radiating visible light is disjoint from radiating ultraviolet |
| 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 11919-11929 |
|
|
|
|