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 |
|