Imprisoning - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Imprisoning

Imprisoning(imprisoning)

do, imprisonment, serve

appearance as argument number 1

(documentation Imprisoning EnglishLanguage "The class of Confining processes where the detainee is put in Prison.")	Mid-level-ontology.kif 14139-14140
(subclass Imprisoning Confining)	Mid-level-ontology.kif 14138-14138	Imprisoning is a subclass of confining

appearance as argument number 2

(termFormat ChineseLanguage Imprisoning "监禁")	domainEnglishFormat.kif 29489-29489
(termFormat ChineseTraditionalLanguage Imprisoning "監禁")	domainEnglishFormat.kif 29488-29488
(termFormat EnglishLanguage Imprisoning "imprisoning")	domainEnglishFormat.kif 29487-29487

antecedent

(=> (and (instance ?F MilitaryForce) (instance ?P Human) (instance ?I Imprisoning) (member ?P ?F) (agent ?I ?E) (patient ?I ?P) (enemy ?E ?P) (eventLocated ?I ?LOC) (attribute ?LOC WarState)) (attribute ?P PrisonerOfWar))	MilitaryPersons.kif 285-296	If a collection is an instance of military force and an agent is an instance of human and a process is an instance of imprisoning and the agent is a member of the collection and another agent is an agent of the process and the agent is a patient of the process and the other agent and the agent are enemies of each other and the process is located at an object and war state is an attribute of the object, then prisoner of war is an attribute of the agent
(=> (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 23796-23809	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
(=> (instance ?I Imprisoning) (exists (?P) (and (instance ?P Prison) (eventLocated ?I ?P))))	Mid-level-ontology.kif 14142-14147	If a process is an instance of imprisoning, then there exists an object such that the object is an instance of prison and the process is located at the object

consequent

(=> (holdsDuring ?NOW (attribute ?P Prisoner)) (exists (?BEFORE ?IMPRISONING) (and (instance ?IMPRISONING Imprisoning) (earlier ?BEFORE ?NOW) (holdsDuring ?BEFORE (detainee ?IMPRISONING ?P)))))	MilitaryPersons.kif 242-250	If prisoner is an attribute of an entity holds during a time interval, then there exist another time interval and another entity such that the other entity is an instance of imprisoning and the other time interval happens earlier than the time interval and the entity is a detainee of the other entity holds during the other time interval
(=> (jailer ?J ?H) (exists (?I) (and (instance ?I Imprisoning) (agent ?I ?J) (patient ?I ?H))))	Law.kif 249-255	If an agent jails a human, then there exists a process such that the process is an instance of imprisoning and the agent is an agent of the process and the human is a patient of the process

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