TreeView Knowledge Base Browser

appearance as argument number 1

(documentation RadiatingXRay ChineseLanguage "这是一种 RadiatingElectromagnetic， wavelength 由 0.01 到 10 Nanometers，相对频率范围在30拍赫和30艾赫之间，能量范围由100 eV到100 keV。")	chinese_format.kif 3330-3332
(documentation RadiatingXRay EnglishLanguage "A form of RadiatingElectromagnetic with wavelength ranging from 0.01 to 10 Nanometers, corresponding to frequencies in the range 30 petahertz to 30 exahertz and energies in the range 100 eV to 100 keV.")	Merge.kif 13717-13719
(externalImage RadiatingXRay "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ X-ray_table.JPG")	pictureList.kif 9860-9860
(externalImage RadiatingXRay "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ X-ray.jpg")	pictureList.kif 9858-9858
(externalImage RadiatingXRay "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Salle_radiologie_2.jpg")	pictureList.kif 9859-9859
(externalImage RadiatingXRay "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 8/ 8f/ X-Ray_Skull.jpg/ 411px-X-Ray_Skull.jpg")	pictureList.kif 9857-9857
(subclass RadiatingXRay RadiatingElectromagnetic)	Merge.kif 13720-13720	X ray radiation is a subclass of radiating electromagnetic

appearance as argument number 2

(disjoint RadiatingUltraviolet RadiatingXRay)	Mid-level-ontology.kif 597-597	Radiating ultraviolet is disjoint from X ray radiation
(termFormat ChineseLanguage RadiatingXRay "X射线辐射")	domainEnglishFormat.kif 63639-63639
(termFormat ChineseLanguage RadiatingXRay "辐射X射线")	domainEnglishFormat.kif 48478-48478
(termFormat ChineseTraditionalLanguage RadiatingXRay "X射線輻射")	domainEnglishFormat.kif 63638-63638
(termFormat ChineseTraditionalLanguage RadiatingXRay "輻射X射線")	domainEnglishFormat.kif 48477-48477
(termFormat EnglishLanguage RadiatingXRay "X ray radiation")	domainEnglishFormat.kif 63637-63637
(termFormat EnglishLanguage RadiatingXRay "radiatingX ray")	domainEnglishFormat.kif 48476-48476

antecedent

(=>
    (instance ?X RadiatingXRay)
    (exists (?M)
        (and
            (wavelength ?X
                (MeasureFn ?M Nanometer))
            (greaterThanOrEqualTo ?M 0.01)
            (lessThan 10.0 ?M))))

Mid-level-ontology.kif 603-610