No TPTP formula. May not be expressible in strict first order. |
Government.kif 3448-3448 |
支持執法 是 國際刑事警察組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4038-4038 |
支持執法 是 聯合國在波黑和黑塞哥維那的使命 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2616-2616 |
子屬性 民警培訓 and 支持執法 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56253-56253 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56252-56252 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56251-56251 |
|