|
|
  UnitedNationsDevelopmentProgram
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3908-3908 | dateEstablished UnitedNationsDevelopmentProgram and le jour 22 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3905-3905 | UnitedNationsDevelopmentProgram est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3909-3909 | organizationalObjective UnitedNationsDevelopmentProgram and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3910-3910 | organizationalObjective UnitedNationsDevelopmentProgram and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3911-3911 | organizationalObjective UnitedNationsDevelopmentProgram and TechnologyCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3950-3950 | UnitedNationsDevelopmentProgram est une partie de l'organization UnitedNationsGeneralAssembly |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3907-3907 | abbreviation "UNDP" and UnitedNationsDevelopmentProgram |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3906-3906 | conventionalLongName "United Nations Development Program" and UnitedNationsDevelopmentProgram |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60098-60098 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60097-60097 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60096-60096 |
|
|
|