ArabCooperationCouncil EmotionalVoiceUtterances
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2782-2782 | 天 16 and 月 February and 年 1989 是 阿拉伯合作理事會 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2779-2779 | 例 阿拉伯合作理事會 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2783-2783 | 經濟一體化 是 阿拉伯合作理事會 的 organizational 目標 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2781-2781 | 阿拉伯合作理事會 是 "ACC" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2780-2780 | 阿拉伯合作理事會 是 "Arab Cooperation Council" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8094-8094 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8093-8093 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8092-8092 |