| 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 | |
| (domain arrested 2 AutonomousAgent) | Mid-level-ontology.kif 25120-25120 | |
| (instance arrested CaseRole) | Mid-level-ontology.kif 25114-25114 | |
| (subrelation arrested controlled) | Mid-level-ontology.kif 25121-25121 |
| 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 |
|
|
| (=> (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 | |
| (=> (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 25154-25167 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners