| InternationalAtomicEnergyAgency(international atomic energy agency)
| | IAEA, International_Atomic_Energy_Agency |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3407-3407 | The day 26 is a date established of international atomic energy agency |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5625-5625 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3404-3404 | International atomic energy agency is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3408-3408 | Peaceful use of atomic power is an organizational objective of international atomic energy agency |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3104-3104 | International atomic energy agency is a part of the organization economic and social council |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3406-3406 | "IAEA" is an abbreviation of international atomic energy agency |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3405-3405 | International atomic energy agency is a conventional long name of "International Atomic Energy Agency" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30499-30499 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30498-30498 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30497-30497 |
|
|
|