InternationalAtomicEnergyAgency
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3371-3371 | 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 3368-3368 | International atomic energy agency is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3372-3372 | 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 3068-3068 | 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 3370-3370 | "IAEA" is an abbreviation of international atomic energy agency |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3369-3369 | 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 |