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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadiationMeasure
RadiationMeasure(radiation measure)
radioactivity_unit

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


(documentation RadiationMeasure EnglishLanguage "Measurement of the radiation of some object") MilitaryProcesses.kif 850-851
(externalImage RadiationMeasure "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ RadiationPenetration2-pn.png") pictureList.kif 8680-8680
(externalImage RadiationMeasure "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 40/ Geiger_counter.jpg/ 800px-Geiger_counter.jpg") pictureList.kif 9599-9599
(subclass RadiationMeasure ConstantQuantity) MilitaryProcesses.kif 849-849 Radiation measure is a subclass of constant quantity

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


(termFormat ChineseLanguage RadiationMeasure "辐射测量") domainEnglishFormat.kif 48410-48410
(termFormat ChineseTraditionalLanguage RadiationMeasure "輻射測量") domainEnglishFormat.kif 48409-48409
(termFormat EnglishLanguage RadiationMeasure "measure of radiation") MilitaryProcesses.kif 2715-2715
(termFormat EnglishLanguage RadiationMeasure "radiation measure") domainEnglishFormat.kif 48408-48408

appearance as argument number 3
-------------------------


(domain absorbedDose 2 RadiationMeasure) MilitaryProcesses.kif 871-871 The number 2 argument of absorbed dose is an instance of radiation measure

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


(=>
    (equal ?MEASURE
        (MeasureFn ?NUMBER Rad))
    (instance ?MEASURE RadiationMeasure))
MilitaryProcesses.kif 858-860


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