| PlacingUnderArrest | |
| appearance as argument number 1 |
|
|
| (documentation PlacingUnderArrest EnglishLanguage "PlacingUnderArrest is the class of events in which a CognitiveAgent, typically a law enforcement professional, legally takes into custody a human or group of humans.") | Mid-level-ontology.kif 25107-25110 | |
| (subclass PlacingUnderArrest Capturing) | Mid-level-ontology.kif 25105-25105 | PlacingUnderArrest は Capturing の subclass では |
| (subclass PlacingUnderArrest LawEnforcement) | Mid-level-ontology.kif 25106-25106 | PlacingUnderArrest は LawEnforcement の subclass では |
| (subclass PlacingUnderArrest LegalAction) | Mid-level-ontology.kif 25112-25112 | PlacingUnderArrest は 訴訟 の subclass では |
| (subclass PlacingUnderArrest SocialInteraction) | Mid-level-ontology.kif 25111-25111 | PlacingUnderArrest は 社会的交流 の subclass では |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PlacingUnderArrest "被捕") | domainEnglishFormat.kif 45998-45998 | |
| (termFormat ChineseTraditionalLanguage PlacingUnderArrest "被捕") | domainEnglishFormat.kif 45997-45997 | |
| (termFormat EnglishLanguage PlacingUnderArrest "placing under arrest") | domainEnglishFormat.kif 45996-45996 |
| appearance as argument number 3 |
|
|
| (domain arrested 1 PlacingUnderArrest) | Mid-level-ontology.kif 25119-25119 | arrested の数値 1 引数は PlacingUnderArrest の instance では |
| (domain arrestingOfficer 1 PlacingUnderArrest) | Law.kif 229-229 | arrestingOfficer の数値 1 引数は PlacingUnderArrest の instance では |
| antecedent |
|
|
| (=> (and (instance ?ARREST PlacingUnderArrest) (agent ?ARREST ?AGENT)) (instance ?AGENT CognitiveAgent)) |
Mid-level-ontology.kif 25123-25127 |
|
| (=> (and (instance ?ARREST PlacingUnderArrest) (arrested ?ARREST ?AGENT) (instance ?AGENT GroupOfPeople) (member ?MEMBER ?AGENT)) (exists (?ARREST1) (and (instance ?ARREST1 PlacingUnderArrest) (arrested ?ARREST1 ?MEMBER) (subProcess ?ARREST1 ?ARREST)))) |
Mid-level-ontology.kif 25135-25145 |
|
| consequent |
|
|
|
|
|