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 |
战争罪起诉 是 国际司法 的 subAttribute |
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 |
|