|
|
  SupportLawEnforcement
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2651-2651 | SupportLawEnforcement e' um sub-atributo de ReducingCrime |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3484-3484 | organizationalObjective InternationalCriminalPoliceOrganization and SupportLawEnforcement |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4074-4074 | organizationalObjective UnitedNationsMissionInBosniaAndHerzegovina and SupportLawEnforcement |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2652-2652 | CivilPoliceTraining e' um sub-atributo de SupportLawEnforcement |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56251-56251 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56250-56250 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56249-56249 |
|
|
|