| InterGovernmentalAuthorityOnDevelopment(inter governmental authority on development)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3374-3374 | 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 3379-3382 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10079-10079 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3369-3369 | 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 3376-3376 | 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 3377-3377 | 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 3375-3375 | 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 3371-3371 | "IGAD" is an abbreviation of inter governmental authority on development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3370-3370 | 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 3373-3373 | "IGADD" is a former name for inter governmental authority on development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3372-3372 | "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 30420-30420 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30419-30419 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30418-30418 |
|
|
|