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 23474-23477 | |
(domain arrested 1 PlacingUnderArrest) | Mid-level-ontology.kif 23478-23478 | 逮捕 的 1 数量 是 被捕 的 instance |
(domain arrested 2 AutonomousAgent) | Mid-level-ontology.kif 23479-23479 | 逮捕 的 2 数量 是 施事体 的 instance |
(instance arrested CaseRole) | Mid-level-ontology.kif 23473-23473 | 逮捕 是 格角色 的 instance |
(subrelation arrested controlled) | Mid-level-ontology.kif 23480-23480 | 逮捕 是 控制 的 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 8454-8454 | |
(termFormat ChineseLanguage arrested "逮捕") | chinese_format.kif 58-58 | |
(termFormat ChineseTraditionalLanguage arrested "被捕") | domainEnglishFormat.kif 8453-8453 | |
(termFormat EnglishLanguage arrested "arrested") | domainEnglishFormat.kif 8452-8452 |
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 23494-23504 | |
(=> (arrested ?ARREST ?OBJ) (or (instance ?OBJ Human) (instance ?OBJ GroupOfPeople))) |
Mid-level-ontology.kif 23488-23492 |
consequent |
(=> (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 23494-23504 | |
(=> (and (instance ?IMPRISON Imprisoning) (detainee ?IMPRISON ?AGENT) (instance ?AGENT Human) (time ?IMPRISON ?INTERVAL) (instance ?INTERVAL TimeInterval)) (exists (?ARREST ?TIME) (and (instance ?TIME TimeInterval) (time ?ARREST ?TIME) (earlier ?TIME ?INTERVAL) (instance ?ARREST PlacingUnderArrest) (arrested ?ARREST ?AGENT)))) |
Mid-level-ontology.kif 23513-23526 |