|
|
  OrganizationOfTheIslamicConference
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3749-3749 | dateEstablished OrganizationOfTheIslamicConference and o mes Setembro |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3746-3746 | OrganizationOfTheIslamicConference e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3752-3752 | organizationalObjective OrganizationOfTheIslamicConference and CulturalCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3751-3751 | organizationalObjective OrganizationOfTheIslamicConference and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3750-3750 | organizationalObjective OrganizationOfTheIslamicConference and PoliticalCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3753-3753 | organizationalObjective OrganizationOfTheIslamicConference and SocialCooperation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3748-3748 | abbreviation "OIC" and OrganizationOfTheIslamicConference |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3747-3747 | conventionalLongName "Organization of the Islamic Conference" and OrganizationOfTheIslamicConference |
| 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 |
|
|
|