RhodeIsland
|
|
appearance as argument number 1 |
(disjoint RadiatingUltraviolet RadiatingLight) | Mid-level-ontology.kif 596-596 | 不相交的 輻射紫外線 and RadiatingLight |
(disjoint RadiatingUltraviolet RadiatingXRay) | Mid-level-ontology.kif 597-597 | 不相交的 輻射紫外線 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 598-600 | |
(subclass RadiatingUltraviolet RadiatingElectromagnetic) | Mid-level-ontology.kif 595-595 | 子類 輻射紫外線 and 輻射電磁 |
appearance as argument number 2 |
(abbreviation "UV" RadiatingUltraviolet) | Mid-level-ontology.kif 601-601 | 輻射紫外線 是 "UV" 的簡稱 |
(disjoint RadiatingVisibleLight RadiatingUltraviolet) | Mid-level-ontology.kif 613-613 | 不相交的 輻射可見光 and 輻射紫外線 |
(termFormat ChineseLanguage RadiatingUltraviolet "辐射紫外线") | domainEnglishFormat.kif 48466-48466 | |
(termFormat ChineseTraditionalLanguage RadiatingUltraviolet "輻射紫外線") | domainEnglishFormat.kif 48465-48465 | |
(termFormat EnglishLanguage RadiatingUltraviolet "radiating ultraviolet") | domainEnglishFormat.kif 48464-48464 |
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 11050-11060 |