SupportLawEnforcement |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2615-2615 | SupportLawEnforcement est un sous-attribut de ReducingCrime |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3448-3448 | organizationalObjective InternationalCriminalPoliceOrganization and SupportLawEnforcement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4038-4038 | organizationalObjective UnitedNationsMissionInBosniaAndHerzegovina and SupportLawEnforcement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2616-2616 | CivilPoliceTraining est un sous-attribut de SupportLawEnforcement |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56253-56253 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56252-56252 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56251-56251 |