NuclearEnergyAgency |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3690-3690 | dateEstablished NuclearEnergyAgency and o dia 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3686-3686 | NuclearEnergyAgency e' uma instancia de OrganizationOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3691-3691 | organizationalObjective NuclearEnergyAgency and PeacefulUseOfAtomicPower |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3692-3692 | NuclearEnergyAgency e' uma parte da organizacao OrganizationForEconomicCooperationAndDevelopment |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3689-3689 | abbreviation "NEA" and NuclearEnergyAgency |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3687-3687 | conventionalLongName "Nuclear Energy Agency" and NuclearEnergyAgency |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3688-3688 | conventionalLongName "OECD Nuclear Energy Agency" and NuclearEnergyAgency |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41343-41343 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41342-41342 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41341-41341 |
![]() |
![]() |