ArabLeague(arab league) | ![]() | Arab_League |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2794-2794 | The day 22 of month the month March is a date established of arab league |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6122-6122 | The day 22 of month the month March is a date established of arab league |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6120-6120 | The day 22 of month the month March is a date established of arab league |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6121-6121 | The day 22 of month the month March is a date established of arab league |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2789-2789 | Arab league is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2795-2795 | Economic cooperation is an organizational objective of arab league |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2798-2798 | Military cooperation is an organizational objective of arab league |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2797-2797 | Political cooperation is an organizational objective of arab league |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2796-2796 | 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 2792-2792 | "AL" is an abbreviation of arab league |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2793-2793 | "LAS" is an abbreviation of arab league |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2790-2790 | Arab league is a conventional long name of "Arab League" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2791-2791 | 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 8125-8125 | 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 8124-8124 | 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 8123-8123 | Arab league is a conventional long name of "League of Arab States" |
![]() |
![]() |