ArabLeague - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2795-2795	The day 22 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 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 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 is a date established of arab league
No TPTP formula. May not be expressible in strict first order.	Government.kif 2790-2790	Arab league is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2796-2796	Economic cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order.	Government.kif 2799-2799	Military cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order.	Government.kif 2798-2798	Political cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order.	Government.kif 2797-2797	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 2793-2793	"AL" is an abbreviation of arab league
No TPTP formula. May not be expressible in strict first order.	Government.kif 2794-2794	"LAS" is an abbreviation 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 "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 "League of Arab States"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8127-8127	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 8126-8126	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"