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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23474-23477
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23478-23478	The number 1 argument of arrested is an instance of placing under arrest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23479-23479	The number 2 argument of arrested is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23473-23473	arrested is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23480-23480	arrested is a subrelation of controlled

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 57-57
No TPTP formula. May not be expressible in strict first order.	english_format.kif 57-57
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1877-1877
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8454-8454
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 58-58
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8453-8453
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8452-8452

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23494-23504	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23488-23492	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23494-23504	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23513-23526	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 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