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 |
民警培训 是 支持执法 的 subAttribute |
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 |
|