PermanentCourtOfArbitration(permanent court of arbitration) |
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 |