InternationalCriminalPoliceOrganization(international criminal police organization) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3478-3478 | The day 13 is a date established of international criminal police organization |
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 | International criminal police organization is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3484-3484 | Support law enforcement is an organizational objective of international criminal police organization |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3477-3477 | "Interpol" is an abbreviation of international criminal police organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3476-3476 | International criminal police organization is a conventional long name of "International Criminal Police Organization" |
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 |