|
|
  OrganizationOfTheIslamicConference
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3785-3785 | dateEstablished OrganizationOfTheIslamicConference and le moi Septembre |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3782-3782 | OrganizationOfTheIslamicConference est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3788-3788 | organizationalObjective OrganizationOfTheIslamicConference and CulturalCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3787-3787 | organizationalObjective OrganizationOfTheIslamicConference and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3786-3786 | organizationalObjective OrganizationOfTheIslamicConference and PoliticalCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3789-3789 | organizationalObjective OrganizationOfTheIslamicConference and SocialCooperation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3784-3784 | abbreviation "OIC" and OrganizationOfTheIslamicConference |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3783-3783 | conventionalLongName "Organization of the Islamic Conference" and OrganizationOfTheIslamicConference |
| 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 |
|
|
|