| RadiatingUltraviolet(辐射紫外线) | |
| appearance as argument number 1 |
|
|
| (disjoint RadiatingUltraviolet RadiatingLight) | Mid-level-ontology.kif 603-603 | 辐射紫外线 和 % 2 是 disjoint |
| (disjoint RadiatingUltraviolet RadiatingXRay) | Mid-level-ontology.kif 604-604 | 辐射紫外线 和 % 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 605-607 | |
| (subclass RadiatingUltraviolet RadiatingElectromagnetic) | Mid-level-ontology.kif 602-602 | 辐射紫外线 是 辐射电磁 的 subclass |
| appearance as argument number 2 |
|
|
| (abbreviation "UV" RadiatingUltraviolet) | Mid-level-ontology.kif 608-608 | 辐射紫外线 是 "UV" 的简称 |
| (disjoint RadiatingVisibleLight RadiatingUltraviolet) | Mid-level-ontology.kif 620-620 | 辐射可见光 和 % 2 是 disjoint |
| (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 |
|
|
|