| Rad(rad)
| | rad |
| appearance as argument number 1 |
|
|
| (instance Rad UnitOfMeasure) | MilitaryProcesses.kif 872-872 | Rad is an instance of unit of measure |
| (instance Rad CompositeUnitOfMeasure) | MilitaryProcesses.kif 873-873 | Rad is an instance of composite unit of measure |
| (documentation Rad EnglishLanguage "A unit of absorbed ionizing radiation equal to 100 ergs per gram of irradiated material.") | MilitaryProcesses.kif 874-875 | Rad is an instance of composite unit of measure |
| (externalImage Rad "http://upload.wikimedia.org/wikipedia/commons/a/ae/RadiationPenetration2-pn.png") | pictureList.kif 10216-10216 | Rad is an instance of composite unit of measure |
| (externalImage Rad "http://upload.wikimedia.org/wikipedia/commons/4/4d/Dosimeter_sosna_front.jpg") | pictureList.kif 11721-11721 | Rad is an instance of composite unit of measure |
| (externalImage Rad "http://upload.wikimedia.org/wikipedia/commons/4/40/Geiger_counter.jpg") | pictureList.kif 11722-11722 | Rad is an instance of composite unit of measure |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (equal ?MEASURE (MeasureFn ?NUMBER Rad)) (instance ?MEASURE RadiationMeasure)) |
MilitaryProcesses.kif 877-879 | If equal X and Y rad(s), then X is an instance of radiation measure |
| (=> (and (equal ?MEASURE (MeasureFn ?NUMBER Rad)) (measure ?OBJ ?MEASURE)) (absorbedDose ?OBJ ?MEASURE)) |
MilitaryProcesses.kif 881-885 | If equal X and Y rad(s) and the measure of Z is X, then Z has absorbed a dose of radiation equal to X |
|
|
|