| ArabLeague(arab league)
| | Arab_League |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2764-2764 | The day 22 is a date established of arab league |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6124-6124 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6122-6122 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6123-6123 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2759-2759 | Arab league is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2765-2765 | Economic cooperation is an organizational objective of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2768-2768 | Military cooperation is an organizational objective of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2767-2767 | Political cooperation is an organizational objective of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2766-2766 | Social cooperation is an organizational objective of arab league |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2762-2762 | "AL" is an abbreviation of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2763-2763 | "LAS" is an abbreviation of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2760-2760 | Arab league is a conventional long name of "Arab League" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2761-2761 | Arab league is a conventional long name of "League of Arab States" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8135-8135 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8134-8134 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8133-8133 |
|
|
|