| 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 48520-48520 | |
| (termFormat ChineseTraditionalLanguage RadiationMeasure "輻射測量") | domainEnglishFormat.kif 48519-48519 | |
| (termFormat EnglishLanguage RadiationMeasure "measure of radiation") | MilitaryProcesses.kif 2949-2949 | |
| (termFormat EnglishLanguage RadiationMeasure "radiation measure") | domainEnglishFormat.kif 48518-48518 |
| 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 |
|
|
|
|