|
|
  SupportLawEnforcement
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2651-2651 | Support law enforcement is a subattribute of reducing crime |
| appearance as argument number 2 |
|
|
| 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 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4074-4074 | Support law enforcement is an organizational objective of united nations mission in bosnia and herzegovina |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2652-2652 | Civil police training is a subattribute of support law enforcement |
| 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 |
|
|
|