|
|
  InternationalAtomicEnergyAgency
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3371-3371 | dateEstablished InternationalAtomicEnergyAgency and le jour 26 |
| 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 | InternationalAtomicEnergyAgency est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3372-3372 | organizationalObjective InternationalAtomicEnergyAgency and PeacefulUseOfAtomicPower |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3068-3068 | InternationalAtomicEnergyAgency est une partie de l'organization EconomicAndSocialCouncil |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3370-3370 | abbreviation "IAEA" and InternationalAtomicEnergyAgency |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3369-3369 | conventionalLongName "International Atomic Energy Agency" and InternationalAtomicEnergyAgency |
| 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 |
|
|
|
