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 | Die Zahl 1 Argument von absorbedDose ist ein fall von Object %n{nicht} |
(domain absorbedDose 2 RadiationMeasure) | MilitaryProcesses.kif 871-871 | Die Zahl 2 Argument von absorbedDose ist ein fall von RadiationMeasure %n{nicht} |
(instance absorbedDose BinaryPredicate) | MilitaryProcesses.kif 869-869 | absorbedDose ist ein fall von BinaryPredicate %n{nicht} |
(subrelation absorbedDose measure) | MilitaryProcesses.kif 868-868 | absorbedDose ist eine teilrelation von measure |
appearance as argument number 2 |
(format EnglishLanguage absorbedDose "%1 has %n absorbed a dose of radiation equal to %2") | MilitaryProcesses.kif 2710-2710 | |
(termFormat ChineseLanguage absorbedDose "吸收剂量") | domainEnglishFormat.kif 5160-5160 | |
(termFormat ChineseTraditionalLanguage absorbedDose "吸收劑量") | domainEnglishFormat.kif 5159-5159 | |
(termFormat EnglishLanguage absorbedDose "absorbed dose") | domainEnglishFormat.kif 5158-5158 |
consequent |
(=> (and (equal ?MEASURE (MeasureFn ?NUMBER Rad)) (measure ?OBJ ?MEASURE)) (absorbedDose ?OBJ ?MEASURE)) |
MilitaryProcesses.kif 862-866 |
|