|
|
  OrganizationOfEasternCaribbeanStates
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3735-3735 | dateEstablished OrganizationOfEasternCaribbeanStates and le jour 18 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3732-3732 | OrganizationOfEasternCaribbeanStates est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3737-3737 | organizationalObjective OrganizationOfEasternCaribbeanStates and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3738-3738 | organizationalObjective OrganizationOfEasternCaribbeanStates and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3736-3736 | organizationalObjective OrganizationOfEasternCaribbeanStates and PoliticalCooperation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3734-3734 | abbreviation "OECS" and OrganizationOfEasternCaribbeanStates |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3733-3733 | conventionalLongName "Organization of Eastern Caribbean States" and OrganizationOfEasternCaribbeanStates |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42542-42542 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42541-42541 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42540-42540 |
|
|
|