|
|
  InterGovernmentalAuthorityOnDevelopment
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3394-3394 | 21 Day 是 政府间发展权威 的成立 date |
| 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 | 政府间发展权威 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3396-3396 | 经济合作 是 政府间发展权威 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3397-3397 | 科学合作 是 政府间发展权威 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3395-3395 | 社会合作 是 政府间发展权威 的 organizational 目标 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3391-3391 | 政府间发展权威 是 "IGAD" 的简称 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3390-3390 | 政府间发展权威 是 "Inter-Governmental Authority on Development" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3393-3393 | "IGADD" 是对于 政府间发展权威 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3392-3392 | "Inter-Governmental Authority on Drought and Development" 是对于 政府间发展权威 的 former name |
| 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 |
|
|
|
