TreeView Knowledge Base Browser

appearance as argument number 1

(subrelation absorbedDose measure)	MilitaryProcesses.kif 890-890	absorbed dose is a subrelation of measure
(instance absorbedDose BinaryPredicate)	MilitaryProcesses.kif 891-891	absorbed dose is an instance of binary predicate
(domain absorbedDose 1 Object)	MilitaryProcesses.kif 892-892	The number 1 argument of absorbed dose is an instance of object
(domain absorbedDose 2 RadiationMeasure)	MilitaryProcesses.kif 893-893	The number 2 argument of absorbed dose is an instance of radiation measure
(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 894-896	The number 2 argument of absorbed dose is an instance of radiation measure

appearance as argument number 2

(format EnglishLanguage absorbedDose "%1 has %n absorbed a dose of radiation equal to %2")	MilitaryProcesses.kif 2920-2920
(termFormat EnglishLanguage absorbedDose "absorbed dose")	domainEnglishFormat.kif 5167-5167
(termFormat ChineseTraditionalLanguage absorbedDose "吸收劑量")	domainEnglishFormat.kif 5168-5168
(termFormat ChineseLanguage absorbedDose "吸收剂量")	domainEnglishFormat.kif 5169-5169

consequent

(=>
    (and
        (equal ?MEASURE
            (MeasureFn ?NUMBER Rad))
        (measure ?OBJ ?MEASURE))
    (absorbedDose ?OBJ ?MEASURE))

If equal X and Y rad(s) and the measure of Z is X, then Z has absorbed a dose of radiation equal to X