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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - absorbedDose
absorbedDose

appearance as argument number 1
-------------------------


s__documentation(s__absorbedDose__m,s__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
s__domain(s__absorbedDose__m,n__1,s__Object)

MilitaryProcesses.kif 870-870 The number 1 argument of absorbed dose is an instance of object
s__domain(s__absorbedDose__m,n__2,s__RadiationMeasure)

MilitaryProcesses.kif 871-871 The number 2 argument of absorbed dose is an instance of radiation measure
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__absorbedDose__m,s__BinaryPredicate)

MilitaryProcesses.kif 869-869 absorbed dose is an instance of binary predicate
s__subrelation(s__absorbedDose__m,s__measure__m)

MilitaryProcesses.kif 868-868 absorbed dose is a subrelation of measure

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


s__format(s__EnglishLanguage,s__absorbedDose__m,'"%1 has %n absorbed a dose of radiation equal to %2"')

MilitaryProcesses.kif 2666-2666
s__termFormat(s__ChineseLanguage,s__absorbedDose__m,'"吸收剂量"')

domainEnglishFormat.kif 5169-5169
s__termFormat(s__ChineseTraditionalLanguage,s__absorbedDose__m,'"吸收劑量"')

domainEnglishFormat.kif 5168-5168
s__termFormat(s__EnglishLanguage,s__absorbedDose__m,'"absorbed dose"')

domainEnglishFormat.kif 5167-5167

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


( ! [V__OBJ,V__MEASURE,V__NUMBER] :
   (((s__instance(V__OBJ,s__Object) &
         s__instance(V__MEASURE,s__RadiationMeasure) &
         s__instance(V__NUMBER,s__RealNumber))
       =>
       ((((V__MEASURE = s__MeasureFn(V__NUMBER,s__Rad))
             &
             s__measure(V__OBJ,V__MEASURE))
         =>
         (s__absorbedDose(V__OBJ,V__MEASURE)))))
)
)

MilitaryProcesses.kif 862-866


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners