ArabLeague - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2833-2833	22 Day 是阿拉伯联盟的成立 date
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	阿拉伯联盟是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2834-2834	经济合作是阿拉伯联盟的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 2837-2837	军事合作是阿拉伯联盟的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 2836-2836	政治合作是阿拉伯联盟的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 2835-2835	社会合作是阿拉伯联盟的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2831-2831	阿拉伯联盟是 "AL" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 2832-2832	阿拉伯联盟是 "LAS" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 2829-2829	阿拉伯联盟是 "Arab League" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2830-2830	阿拉伯联盟是 "League of Arab States" 的 conventional 全名
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