absorbedDose |
appearance as argument number 1 |
(documentation absorbedDose EnglishLanguage "The amount of energy imparted by nuclear (or ionizing) radiation to unit mass of absorbing material. The unit is the rad.") | MilitaryProcesses.kif 872-874 | |
(domain absorbedDose 1 Object) | MilitaryProcesses.kif 870-870 | |
(domain absorbedDose 2 RadiationMeasure) | MilitaryProcesses.kif 871-871 | |
(instance absorbedDose BinaryPredicate) | MilitaryProcesses.kif 869-869 | |
(subrelation absorbedDose measure) | MilitaryProcesses.kif 868-868 |
appearance as argument number 2 |
(format EnglishLanguage absorbedDose "%1 has %n absorbed a dose of radiation equal to %2") | MilitaryProcesses.kif 2896-2896 | |
(termFormat ChineseLanguage absorbedDose "吸收剂量") | domainEnglishFormat.kif 5164-5164 | |
(termFormat ChineseTraditionalLanguage absorbedDose "吸收劑量") | domainEnglishFormat.kif 5163-5163 | |
(termFormat EnglishLanguage absorbedDose "absorbed dose") | domainEnglishFormat.kif 5162-5162 |
consequent |
(=> (and (equal ?MEASURE (MeasureFn ?NUMBER Rad)) (measure ?OBJ ?MEASURE)) (absorbedDose ?OBJ ?MEASURE)) |
MilitaryProcesses.kif 862-866 |