TreeView Knowledge Base Browser - PermanentCourtOfArbitration

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3817-3817	29 Day 是常设仲裁法院的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3814-3814	常设仲裁法院是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3818-3818	国际司法是常设仲裁法院的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3816-3816	常设仲裁法院是 "PCA" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3815-3815	常设仲裁法院是 "Permanent Court of Arbitration" 的 conventional 全名
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