Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Rad(rad)
|  | rad |
| appearance as argument number 1 |
|
|
| (instance Rad UnitOfMeasure) | MilitaryProcesses.kif 875-875 | Rad is an instance of unit of measure |
| (instance Rad CompositeUnitOfMeasure) | MilitaryProcesses.kif 876-876 | 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 877-878 | 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 880-882 | 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 884-888 | 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 |
|