| ArabLeague(arab league)
| | Arab_League |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2796-2796 | 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 2791-2791 | Arab league is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2797-2797 | Economic cooperation is an organizational objective of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2800-2800 | Military cooperation is an organizational objective of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2799-2799 | Political cooperation is an organizational objective of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2798-2798 | 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 2794-2794 | "AL" is an abbreviation of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2795-2795 | "LAS" is an abbreviation of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2792-2792 | Arab league is a conventional long name of "Arab League" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2793-2793 | 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 8133-8133 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8132-8132 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8131-8131 |
|
|
|