|
|
  InterGovernmentalAuthorityOnDevelopment
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3358-3358 | dateEstablished InterGovernmentalAuthorityOnDevelopment and le jour 21 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3363-3366 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10070-10070 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3353-3353 | InterGovernmentalAuthorityOnDevelopment est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3360-3360 | organizationalObjective InterGovernmentalAuthorityOnDevelopment and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3361-3361 | organizationalObjective InterGovernmentalAuthorityOnDevelopment and ScientificCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3359-3359 | organizationalObjective InterGovernmentalAuthorityOnDevelopment and SocialCooperation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3355-3355 | abbreviation "IGAD" and InterGovernmentalAuthorityOnDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3354-3354 | conventionalLongName "Inter-Governmental Authority on Development" and InterGovernmentalAuthorityOnDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3357-3357 | formerName "IGADD" and InterGovernmentalAuthorityOnDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3356-3356 | formerName "Inter-Governmental Authority on Drought and Development" and InterGovernmentalAuthorityOnDevelopment |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30433-30433 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30432-30432 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30431-30431 |
|
|
|
