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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadiationMeasure
RadiationMeasure

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

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

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