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 |
子屬性 犯罪預防 and 減少犯罪 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2653-2653 |
子屬性 維和行動 and 減少犯罪 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2651-2651 |
子屬性 支持執法 and 減少犯罪 |
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 |
|