InternationalCriminalPoliceOrganization |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3442-3442 | dateEstablished InternationalCriminalPoliceOrganization and le jour 13 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3444-3446 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3439-3439 | InternationalCriminalPoliceOrganization est une instance de OrganizationOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3448-3448 | organizationalObjective InternationalCriminalPoliceOrganization and SupportLawEnforcement |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3441-3441 | abbreviation "Interpol" and InternationalCriminalPoliceOrganization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3440-3440 | 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 |