|
|
  PermanentCourtOfArbitration
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3781-3781 | dateEstablished PermanentCourtOfArbitration and le jour 29 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3778-3778 | PermanentCourtOfArbitration est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3782-3782 | organizationalObjective PermanentCourtOfArbitration and InternationalJustice |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3780-3780 | abbreviation "PCA" and PermanentCourtOfArbitration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3779-3779 | conventionalLongName "Permanent Court of Arbitration" and PermanentCourtOfArbitration |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45236-45236 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45235-45235 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45234-45234 |
|
|
|