InterGovernmentalAuthorityOnDevelopment(inter governmental authority on development) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3394-3394 | The day 21 is a date established of inter governmental authority on development |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3399-3402 | |
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 3389-3389 | Inter governmental authority on development is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3396-3396 | Economic cooperation is an organizational objective of inter governmental authority on development |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3397-3397 | Scientific cooperation is an organizational objective of inter governmental authority on development |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3395-3395 | Social cooperation is an organizational objective of inter governmental authority on development |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3391-3391 | "IGAD" is an abbreviation of inter governmental authority on development |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3390-3390 | Inter governmental authority on development is a conventional long name of "Inter-Governmental Authority on Development" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3393-3393 | "IGADD" is a former name for inter governmental authority on development |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3392-3392 | "Inter-Governmental Authority on Drought and Development" is a former name for inter governmental authority on development |
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 |