|
|
  ReducingCrime
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2612-2612 | Reducing crime is an instance of area of concern |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2613-2613 | Reducing crime is a subattribute of social development |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3966-3966 | Reducing crime is an organizational objective of united nations interregional crime and justice research institute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2614-2614 | Crime prevention is a subattribute of reducing crime |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2617-2617 | Peacekeeping operation is a subattribute of reducing crime |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2615-2615 | Support law enforcement is a subattribute of reducing crime |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49084-49084 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49083-49083 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49082-49082 |
|
|
|