InternationalCriminalPoliceOrganization
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3478-3478 | dateEstablished InternationalCriminalPoliceOrganization and o dia 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 e' uma instancia 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 |