| PlacingUnderArrest(placing under arrest) | | apprehend, apprehension, arrest, catch, collar, cop, nab, nail, pick_up, pinch, taking_into_custody |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23518-23521 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23516-23516 | Placing under arrest is a subclass of capture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23517-23517 | Placing under arrest is a subclass of law enforcement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23523-23523 | Placing under arrest is a subclass of legal action |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23522-23522 | Placing under arrest is a subclass of social interaction |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45998-45998 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45997-45997 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45996-45996 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23530-23530 | The number 1 argument of arrested is an instance of placing under arrest |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 228-228 | The number 1 argument of arresting officer is an instance of placing under arrest |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23534-23538 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23546-23556 |
|
| consequent |
|
|
|
|
|