arrested - Sigma Knowledge base Browser

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 25134-25137
(domain arrested 1 PlacingUnderArrest)	Mid-level-ontology.kif 25138-25138	The number 1 argument of arrested is an instance of placing under arrest
(domain arrested 2 AutonomousAgent)	Mid-level-ontology.kif 25139-25139	The number 2 argument of arrested is an instance of agent
(instance arrested CaseRole)	Mid-level-ontology.kif 25133-25133	arrested is an instance of case role
(subrelation arrested controlled)	Mid-level-ontology.kif 25140-25140	arrested is a subrelation of 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 8461-8461
(termFormat ChineseLanguage arrested "逮捕")	chinese_format.kif 58-58
(termFormat ChineseTraditionalLanguage arrested "被捕")	domainEnglishFormat.kif 8460-8460
(termFormat EnglishLanguage arrested "arrested")	domainEnglishFormat.kif 8459-8459

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 25154-25164	If a placing under arrest is an instance of placing under arrest and an agent is placed under arrest during the placing under arrest and the agent is an instance of group of people and another agent is a member of the agent, then there exists the placing under arrest1 such that the placing under arrest1 is an instance of placing under arrest and the other agent is placed under arrest during the placing under arrest1 and the placing under arrest1 is a subprocess of the placing under arrest
(=> (arrested ?ARREST ?OBJ) (or (instance ?OBJ Human) (instance ?OBJ GroupOfPeople)))	Mid-level-ontology.kif 25148-25152	If an agent is placed under arrest during a placing under arrest, then the agent is an instance of human or the agent is an instance of group of people

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 25154-25164	If a placing under arrest is an instance of placing under arrest and an agent is placed under arrest during the placing under arrest and the agent is an instance of group of people and another agent is a member of the agent, then there exists the placing under arrest1 such that the placing under arrest1 is an instance of placing under arrest and the other agent is placed under arrest during the placing under arrest1 and the placing under arrest1 is a subprocess of the placing under arrest
(=> (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 25173-25186	If a confining is an instance of imprisoning and an animal is a detainee of the confining and the animal is an instance of human and the confining exists during a time interval and the time interval is an instance of time interval, then there exist a placing under arrest and another time interval such that the other time interval is an instance of time interval and the placing under arrest exists during the other time interval and the other time interval happens earlier than the time interval and the placing under arrest is an instance of placing under arrest and the animal is placed under arrest during the placing under arrest

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