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 8676-8676
(externalImage RadiationMeasure "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 40/ Geiger_counter.jpg/ 800px-Geiger_counter.jpg") pictureList.kif 9589-9589
(subclass RadiationMeasure ConstantQuantity) MilitaryProcesses.kif 849-849 辐射测量恒量subclass

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


(termFormat ChineseLanguage RadiationMeasure "辐射测量") domainEnglishFormat.kif 48465-48465
(termFormat ChineseTraditionalLanguage RadiationMeasure "輻射測量") domainEnglishFormat.kif 48464-48464
(termFormat EnglishLanguage RadiationMeasure "measure of radiation") MilitaryProcesses.kif 2734-2734
(termFormat EnglishLanguage RadiationMeasure "radiation measure") domainEnglishFormat.kif 48463-48463

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


(domain absorbedDose 2 RadiationMeasure) MilitaryProcesses.kif 871-871 吸收剂量 的 2 数量 是 辐射测量instance

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