WelshLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3358-3358 | 天 21 and 月 March and 年 1996 是 政府間發展權威 的成立 date |
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 | 例 政府間發展權威 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3360-3360 | 經濟合作 是 政府間發展權威 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3361-3361 | 科學合作 是 政府間發展權威 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3359-3359 | 社會合作 是 政府間發展權威 的 organizational 目標 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3355-3355 | 政府間發展權威 是 "IGAD" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3354-3354 | 政府間發展權威 是 "Inter-Governmental Authority on Development" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3357-3357 | "IGADD" 是對於 政府間發展權威 的 former name |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3356-3356 | "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 |