arrested |
appearance as argument number 1 |
![]() |
(documentation arrested EnglishLanguage "(arrested ?EVENT ?AGENT) means that during ?EVENT, ?AGENT is taken into custody, typically by a representative of a law enforcement organization.") | Mid-level-ontology.kif 25115-25118 | |
(domain arrested 1 PlacingUnderArrest) | Mid-level-ontology.kif 25119-25119 | arrested の数値 1 引数は PlacingUnderArrest の instance では |
(domain arrested 2 AutonomousAgent) | Mid-level-ontology.kif 25120-25120 | arrested の数値 2 引数は AutonomousAgent の instance では |
(instance arrested CaseRole) | Mid-level-ontology.kif 25114-25114 | arrested は 格役割 の instance では |
(subrelation arrested controlled) | Mid-level-ontology.kif 25121-25121 | arrested は controlled の subrelation では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage arrested "%2 %n 是在 %1 的情况下被拘留") | chinese_format.kif 57-57 | |
(format EnglishLanguage arrested "%2 is %n placed under arrest during %1") | english_format.kif 57-57 | |
(format JapaneseLanguage arrested "%2 は、 %1 の最中逮捕され %n") | japanese_format.kif 1877-1877 | |
(termFormat ChineseLanguage arrested "被捕") | domainEnglishFormat.kif 8455-8455 | |
(termFormat ChineseLanguage arrested "逮捕") | chinese_format.kif 58-58 | |
(termFormat ChineseTraditionalLanguage arrested "被捕") | domainEnglishFormat.kif 8454-8454 | |
(termFormat EnglishLanguage arrested "arrested") | domainEnglishFormat.kif 8453-8453 |
antecedent |
![]() |
(=> (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 |
|
(=> (arrested ?ARREST ?OBJ) (or (instance ?OBJ Human) (instance ?OBJ GroupOfPeople))) |
Mid-level-ontology.kif 25129-25133 |
|
consequent |
![]() |
![]() |
![]() |