TreeView Knowledge Base Browser

appearance as argument number 1

(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 13981-13983
(subclass RadiatingXRay RadiatingElectromagnetic)	Merge.kif 13984-13984	X ray radiation is a subclass of radiating electromagnetic
(externalImage RadiatingXRay "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 8/ 8f/ X_Ray_Skull.jpg/ 411px_X-Ray_Skull.jpg")	pictureList.kif 9856-9856	X ray radiation is a subclass of radiating electromagnetic
(externalImage RadiatingXRay "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ X_ray.jpg")	pictureList.kif 9857-9857	X ray radiation is a subclass of radiating electromagnetic
(externalImage RadiatingXRay "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Salle_radiologie_2.jpg")	pictureList.kif 9858-9858	X ray radiation is a subclass of radiating electromagnetic
(externalImage RadiatingXRay "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ X_ray_table.JPG")	pictureList.kif 9859-9859	X ray radiation is a subclass of radiating electromagnetic

appearance as argument number 2

(disjoint RadiatingUltraviolet RadiatingXRay)	Mid-level-ontology.kif 587-587	Radiating ultraviolet is disjoint from X ray radiation
(termFormat EnglishLanguage RadiatingXRay "radiatingX ray")	domainEnglishFormat.kif 48469-48469	Radiating ultraviolet is disjoint from X ray radiation
(termFormat ChineseTraditionalLanguage RadiatingXRay "輻射X射線")	domainEnglishFormat.kif 48470-48470	Radiating ultraviolet is disjoint from X ray radiation
(termFormat ChineseLanguage RadiatingXRay "辐射X射线")	domainEnglishFormat.kif 48471-48471	Radiating ultraviolet is disjoint from X ray radiation
(termFormat EnglishLanguage RadiatingXRay "X ray radiation")	domainEnglishFormat.kif 63638-63638	Radiating ultraviolet is disjoint from X ray radiation
(termFormat ChineseTraditionalLanguage RadiatingXRay "X射線輻射")	domainEnglishFormat.kif 63639-63639	Radiating ultraviolet is disjoint from X ray radiation
(termFormat ChineseLanguage RadiatingXRay "X射线辐射")	domainEnglishFormat.kif 63640-63640	Radiating ultraviolet is disjoint from X ray radiation

antecedent

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

If X is an instance of X ray radiation, then there exists Y such that the wavelength of X is Y nanometer(s) and Y is greater than or equal to 0.01 and 10.0 is less than Y