No TPTP formula. May not be expressible in strict first order. |
Government.kif 4002-4002 |
减少犯罪 是 联合国区域间犯罪和司法研究所 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2650-2650 |
犯罪预防 是 减少犯罪 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2653-2653 |
维和行动 是 减少犯罪 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2651-2651 |
支持执法 是 减少犯罪 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49082-49082 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49081-49081 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49080-49080 |
|