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 23526-23529 | |
(domain arrested 1 PlacingUnderArrest) | Mid-level-ontology.kif 23530-23530 | Il numero 1 argomenti di arrested è un istanza di PlacingUnderArrest |
(domain arrested 2 AutonomousAgent) | Mid-level-ontology.kif 23531-23531 | Il numero 2 argomenti di arrested è un istanza di AutonomousAgent |
(instance arrested CaseRole) | Mid-level-ontology.kif 23525-23525 | arrested è un' istanza di RuoloSemantico |
(subrelation arrested controlled) | Mid-level-ontology.kif 23532-23532 | arrested è una sottorelazione di controlled |
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 23546-23556 |
|
(=> (arrested ?ARREST ?OBJ) (or (instance ?OBJ Human) (instance ?OBJ GroupOfPeople))) |
Mid-level-ontology.kif 23540-23544 |
|
consequent |