ArabCooperationCouncil(arab cooperation council) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2779-2779 | The day 16 of month the month February is a date established of arab cooperation council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2776-2776 | Arab cooperation council is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2780-2780 | Economic integration is an organizational objective of arab cooperation council |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2778-2778 | "ACC" is an abbreviation of arab cooperation council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2777-2777 | Arab cooperation council is a conventional long name of "Arab Cooperation Council" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8095-8095 | Arab cooperation council is a conventional long name of "Arab Cooperation Council" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8094-8094 | Arab cooperation council is a conventional long name of "Arab Cooperation Council" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8093-8093 | Arab cooperation council is a conventional long name of "Arab Cooperation Council" |
![]() |
![]() |