|
|
  PermanentCourtOfArbitration
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3817-3817 | The day 29 is a date established of permanent court of arbitration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3814-3814 | Permanent court of arbitration is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3818-3818 | International justice is an organizational objective of permanent court of arbitration |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3816-3816 | "PCA" is an abbreviation of permanent court of arbitration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3815-3815 | Permanent court of arbitration is a conventional long name of "Permanent Court of Arbitration" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45234-45234 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45233-45233 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45232-45232 |
|
|
|