| 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 8674-8674 | |
| (externalImage RadiationMeasure "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 40/ Geiger_counter.jpg/ 800px_Geiger_counter.jpg") | pictureList.kif 9580-9580 | |
| (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 48513-48513 | |
| (termFormat ChineseTraditionalLanguage RadiationMeasure "輻射測量") | domainEnglishFormat.kif 48512-48512 | |
| (termFormat EnglishLanguage RadiationMeasure "measure of radiation") | MilitaryProcesses.kif 2929-2929 | |
| (termFormat EnglishLanguage RadiationMeasure "radiation measure") | domainEnglishFormat.kif 48511-48511 |
| 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 |
|
|
|
|