OrganizationOfTheIslamicConference(organization of the islamic conference) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3785-3785 | The month September is a date established of organization of the islamic conference |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3782-3782 | Organization of the islamic conference is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3788-3788 | Cultural cooperation is an organizational objective of organization of the islamic conference |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3787-3787 | Economic cooperation is an organizational objective of organization of the islamic conference |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3786-3786 | Political cooperation is an organizational objective of organization of the islamic conference |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3789-3789 | Social cooperation is an organizational objective of organization of the islamic conference |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3784-3784 | "OIC" is an abbreviation of organization of the islamic conference |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3783-3783 | Organization of the islamic conference is a conventional long name of "Organization of the Islamic Conference" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42558-42558 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42557-42557 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42556-42556 |