ArabLeague
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2833-2833 | dateEstablished ArabLeague and le jour 22 |
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. | pictureList.kif 6121-6121 | |
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. | Government.kif 2828-2828 | ArabLeague est une instance de OrganizationOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2834-2834 | organizationalObjective ArabLeague and EconomicCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2837-2837 | organizationalObjective ArabLeague and MilitaryCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2836-2836 | organizationalObjective ArabLeague and PoliticalCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2835-2835 | organizationalObjective ArabLeague and SocialCooperation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2831-2831 | abbreviation "AL" and ArabLeague |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2832-2832 | abbreviation "LAS" and ArabLeague |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2829-2829 | conventionalLongName "Arab League" and ArabLeague |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2830-2830 | conventionalLongName "League of Arab States" and ArabLeague |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8124-8124 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8123-8123 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8122-8122 |