CaribbeanCommunityAndCommonMarket
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2928-2928 | 天 4 and 月 July and 年 1973 是 加勒比共同體和共同市場 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2925-2925 | 例 加勒比共同體和共同市場 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2930-2930 | 經濟發展 是 加勒比共同體和共同市場 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2929-2929 | 經濟一體化 是 加勒比共同體和共同市場 的 organizational 目標 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2927-2927 | 加勒比共同體和共同市場 是 "Caricom" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2926-2926 | 加勒比共同體和共同市場 是 "Caribbean Community and Common Market" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13254-13254 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13253-13253 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13252-13252 |