TreeView Knowledge Base Browser

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	The number 1 argument of absorbed dose is an instance of object
(domain absorbedDose 2 RadiationMeasure)	MilitaryProcesses.kif 871-871	The number 2 argument of absorbed dose is an instance of radiation measure
(instance absorbedDose BinaryPredicate)	MilitaryProcesses.kif 869-869	absorbed dose is an instance of binary predicate
(subrelation absorbedDose measure)	MilitaryProcesses.kif 868-868	absorbed dose is a subrelation of measure

appearance as argument number 2

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

consequent

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

MilitaryProcesses.kif 862-866