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 | Il numero 1 argomenti di absorbedDose è un istanza di Oggetto |
(domain absorbedDose 2 RadiationMeasure) | MilitaryProcesses.kif 871-871 | Il numero 2 argomenti di absorbedDose è un istanza di RadiationMeasure |
(instance absorbedDose BinaryPredicate) | MilitaryProcesses.kif 869-869 | absorbedDose è un' istanza di PredicatoBinario |
(subrelation absorbedDose measure) | MilitaryProcesses.kif 868-868 | absorbedDose è una sottorelazione di measure |
appearance as argument number 2 |
(format EnglishLanguage absorbedDose "%1 has %n absorbed a dose of radiation equal to %2") | MilitaryProcesses.kif 2761-2761 | |
(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 |