|
|
  InternationalCriminalPoliceOrganization
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3478-3478 | dateEstablished InternationalCriminalPoliceOrganization and le jour 13 |
| 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 | InternationalCriminalPoliceOrganization est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3484-3484 | organizationalObjective InternationalCriminalPoliceOrganization and SupportLawEnforcement |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3477-3477 | abbreviation "Interpol" and InternationalCriminalPoliceOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3476-3476 | conventionalLongName "International Criminal Police Organization" and InternationalCriminalPoliceOrganization |
| 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 |
|
|
|