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