|
|
  InternationalAtomicEnergyAgency
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3407-3407 | dateEstablished InternationalAtomicEnergyAgency and o dia 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 3404-3404 | InternationalAtomicEnergyAgency e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3408-3408 | organizationalObjective InternationalAtomicEnergyAgency and PeacefulUseOfAtomicPower |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3104-3104 | InternationalAtomicEnergyAgency e' uma parte da organizacao EconomicAndSocialCouncil |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3406-3406 | abbreviation "IAEA" and InternationalAtomicEnergyAgency |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3405-3405 | 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 |
|
|
|
