| 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 9582-9582 | |
| (subclass RadiationMeasure ConstantQuantity) | MilitaryProcesses.kif 849-849 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RadiationMeasure "辐射测量") | domainEnglishFormat.kif 48503-48503 | |
| (termFormat ChineseTraditionalLanguage RadiationMeasure "輻射測量") | domainEnglishFormat.kif 48502-48502 | |
| (termFormat EnglishLanguage RadiationMeasure "measure of radiation") | MilitaryProcesses.kif 2735-2735 | |
| (termFormat EnglishLanguage RadiationMeasure "radiation measure") | domainEnglishFormat.kif 48501-48501 |
| 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 |
|
|
|