No TPTP formula. May not be expressible in strict first order. |
Government.kif 3458-3458 |
國際司法 是 國際法院 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3818-3818 |
國際司法 是 常設仲裁法院 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2707-2707 |
子屬性 戰爭罪起訴 and 國際司法 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30613-30613 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30612-30612 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30611-30611 |
|