|
|
  OrganizationOfTheIslamicConference
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3749-3749 | 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 3746-3746 | 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 3752-3752 | 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 3751-3751 | 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 3750-3750 | 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 3753-3753 | 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 3748-3748 | "OIC" is an abbreviation of organization of the islamic conference |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3747-3747 | 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 42560-42560 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42559-42559 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42558-42558 |
|
|
|