|
|
  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 |
|
|
|