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