Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  externallyConnected
|
|
|
| appearance as argument number 1 |
|
|
| (subclass RadiationMeasure ConstantQuantity) | MilitaryProcesses.kif 871-871 | Radiation measure is a subclass of constant quantity |
| (documentation RadiationMeasure EnglishLanguage "Measurement of the radiation of some object") | MilitaryProcesses.kif 872-873 | Radiation measure is a subclass of constant quantity |
| (externalImage RadiationMeasure "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ RadiationPenetration2-pn.png") | pictureList.kif 8674-8674 | Radiation measure is a subclass of constant quantity |
| (externalImage RadiationMeasure "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 40/ Geiger_counter.jpg/ 800px_Geiger_counter.jpg") | pictureList.kif 9580-9580 | Radiation measure is a subclass of constant quantity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RadiationMeasure "measure of radiation") | MilitaryProcesses.kif 2973-2973 | |
| (termFormat EnglishLanguage RadiationMeasure "radiation measure") | domainEnglishFormat.kif 48475-48475 | |
| (termFormat ChineseTraditionalLanguage RadiationMeasure "輻射測量") | domainEnglishFormat.kif 48476-48476 | |
| (termFormat ChineseLanguage RadiationMeasure "辐射测量") | domainEnglishFormat.kif 48477-48477 |
| appearance as argument number 3 |
|
|
| (domain absorbedDose 2 RadiationMeasure) | MilitaryProcesses.kif 893-893 | The number 2 argument of absorbed dose is an instance of radiation measure |
| consequent |
|
|
| (=> (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 |
|
