Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  absorbedDose

Sigma KEE - absorbedDose
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 861-863
(domain absorbedDose 1 Object) MilitaryProcesses.kif 859-859
(domain absorbedDose 2 RadiationMeasure) MilitaryProcesses.kif 860-860
(instance absorbedDose BinaryPredicate) MilitaryProcesses.kif 858-858
(subrelation absorbedDose measure) MilitaryProcesses.kif 857-857

appearance as argument number 2
-------------------------


(format EnglishLanguage absorbedDose "%1 has %n absorbed a dose of radiation equal to %2") MilitaryProcesses.kif 2653-2653
(termFormat EnglishLanguage absorbedDose "absorbed dose") domainEnglishFormat.kif 1294-1294

consequent
-------------------------


(=>
    (and
        (equal ?MEASURE
            (MeasureFn ?NUMBER Rad))
        (measure ?OBJ ?MEASURE))
    (absorbedDose ?OBJ ?MEASURE))
MilitaryProcesses.kif 851-855


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners