| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4177-4177 |
戰爭罪起訴 是 盧旺達國際刑事法庭 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4172-4172 |
戰爭罪起訴 是 前南斯拉夫問題國際刑事法庭 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62171-62171 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62170-62170 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62169-62169 |
|
WarCrimesProsecution