Rad(rad) | rad |
appearance as argument number 1 |
(documentation Rad EnglishLanguage "A unit of absorbed ionizing radiation equal to 100 ergs per gram of irradiated material.") | MilitaryProcesses.kif 855-856 | |
(externalImage Rad "http://upload.wikimedia.org/wikipedia/commons/4/40/Geiger_counter.jpg") | pictureList.kif 11729-11729 | |
(externalImage Rad "http://upload.wikimedia.org/wikipedia/commons/4/4d/Dosimeter_sosna_front.jpg") | pictureList.kif 11728-11728 | |
(externalImage Rad "http://upload.wikimedia.org/wikipedia/commons/a/ae/RadiationPenetration2-pn.png") | pictureList.kif 10218-10218 | |
(instance Rad CompositeUnitOfMeasure) | MilitaryProcesses.kif 854-854 | Rad is an instance of composite unit of measure |
(instance Rad UnitOfMeasure) | MilitaryProcesses.kif 853-853 | Rad is an instance of unit of measure |
appearance as argument number 2 |
(termFormat ChineseLanguage Rad "拉德") | domainEnglishFormat.kif 48448-48448 | |
(termFormat ChineseTraditionalLanguage Rad "拉德") | domainEnglishFormat.kif 48447-48447 | |
(termFormat EnglishLanguage Rad "rad") | domainEnglishFormat.kif 48446-48446 |
antecedent |
(=> (and (equal ?MEASURE (MeasureFn ?NUMBER Rad)) (measure ?OBJ ?MEASURE)) (absorbedDose ?OBJ ?MEASURE)) |
MilitaryProcesses.kif 862-866 |
|
(=> (equal ?MEASURE (MeasureFn ?NUMBER Rad)) (instance ?MEASURE RadiationMeasure)) |
MilitaryProcesses.kif 858-860 |
|