TreeView Knowledge Base Browser - arrested

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - arrested

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 23473-23476
(domain arrested 1 PlacingUnderArrest)	Mid-level-ontology.kif 23477-23477	域被捕, 1 and 被捕
(domain arrested 2 AutonomousAgent)	Mid-level-ontology.kif 23478-23478	域被捕, 2 and AutonomousAgent
(instance arrested CaseRole)	Mid-level-ontology.kif 23472-23472	例被捕 and CaseRole
(subrelation arrested controlled)	Mid-level-ontology.kif 23479-23479	子關係被捕 and 受控

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 23493-23503	例被捕 and 被捕被捕被捕 and AutonomousAgent 例 AutonomousAgent and 一群人會員 AutonomousAgent and AutonomousAgent 被捕例被捕 and 被捕被捕被捕 and AutonomousAgent 子過程被捕 and 被捕
(=> (arrested ?ARREST ?OBJ) (or (instance ?OBJ Human) (instance ?OBJ GroupOfPeople)))	Mid-level-ontology.kif 23487-23491	被捕被捕 and AutonomousAgent 例 AutonomousAgent and Human 例 AutonomousAgent and 一群人

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 23493-23503	例被捕 and 被捕被捕被捕 and AutonomousAgent 例 AutonomousAgent and 一群人會員 AutonomousAgent and AutonomousAgent 被捕例被捕 and 被捕被捕被捕 and AutonomousAgent 子過程被捕 and 被捕
(=> (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 23512-23525	例 Confining and 監禁 Animal 是 Confining 的拘留者例 Animal and Human 時間 Confining and TimeInterval 例 TimeInterval and TimeInterval 被捕 TimeInterval 例 TimeInterval and TimeInterval 時間被捕 and TimeInterval 早期 TimeInterval and TimeInterval 例被捕 and 被捕被捕被捕 and Animal

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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