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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadiationMeasure

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 8675-8675
(externalImage RadiationMeasure "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 40/ Geiger_counter.jpg/ 800px-Geiger_counter.jpg") pictureList.kif 9581-9581
(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 48482-48482
(termFormat ChineseTraditionalLanguage RadiationMeasure "輻射測量") domainEnglishFormat.kif 48481-48481
(termFormat EnglishLanguage RadiationMeasure "measure of radiation") MilitaryProcesses.kif 2759-2759
(termFormat EnglishLanguage RadiationMeasure "radiation measure") domainEnglishFormat.kif 48480-48480

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 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 3.0 is open source software produced by Articulate Software and its partners