No TPTP formula. May not be expressible in strict first order. |
Government.kif 3477-3477 |
國際刑事警察組織 是 "Interpol" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3476-3476 |
國際刑事警察組織 是 "International Criminal Police Organization" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30553-30553 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30552-30552 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30551-30551 |
|