|
|
  UnitedNationsDevelopmentProgram
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3872-3872 | dateEstablished UnitedNationsDevelopmentProgram and le jour 22 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3869-3869 | UnitedNationsDevelopmentProgram est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3873-3873 | organizationalObjective UnitedNationsDevelopmentProgram and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3874-3874 | organizationalObjective UnitedNationsDevelopmentProgram and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3875-3875 | organizationalObjective UnitedNationsDevelopmentProgram and TechnologyCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3914-3914 | 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 3871-3871 | abbreviation "UNDP" and UnitedNationsDevelopmentProgram |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3870-3870 | conventionalLongName "United Nations Development Program" and UnitedNationsDevelopmentProgram |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60100-60100 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60099-60099 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60098-60098 |
|
|
|