|
|
  InternationalCriminalPoliceOrganization
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3478-3478 | 13 Day 是 国际刑事警察组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3480-3482 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3475-3475 | 国际刑事警察组织 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3484-3484 | 支持执法 是 国际刑事警察组织 的 organizational 目标 |
| appearance as argument number 2 |
|
|
| 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 |
|
|
|