|
|
  NuclearEnergyAgency
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3690-3690 | dateEstablished NuclearEnergyAgency and le jour 1 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3686-3686 | NuclearEnergyAgency est une instance 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 est une partie de l'organization 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 |
|
|
|