| Imprisoning(imprisoning) | | do, imprisonment, serve |
| appearance as argument number 1 |
|
|
| (subclass Imprisoning Confining) | Mid-level-ontology.kif 15442-15442 | Imprisoning is a subclass of confining |
| (documentation Imprisoning EnglishLanguage "The class of Confining processes where the detainee is put in Prison.") | Mid-level-ontology.kif 15443-15444 | Imprisoning is a subclass of confining |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?I Imprisoning) (exists (?P) (and (instance ?P Prison) (eventLocated ?I ?P)))) |
Mid-level-ontology.kif 15446-15451 | If X is an instance of imprisoning, then there exists Y such that Y is an instance of prison and X is located at Y |
| (=> (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 25891-25904 | If X is an instance of imprisoning, Y is a detainee of X, Y is an instance of human, X exists during Z, and Z is an instance of timeframe, then there exist W, V such that V is an instance of timeframe, W exists during V, V happens earlier than Z, W is an instance of placing under arrest, and Y is placed under arrest during W |
| (=> (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 All of the following hold: (1) X is an instance of military force (2) Y is an instance of human (3) Z is an instance of imprisoning (4) Y is a member of X (5) W is an agent of Z (6) Y is a patient of Z (7) W and Y are enemies of each other (8) Z is located at V (9) war state is an attribute of V, then prisoner of war is an attribute of Y |
| consequent |
|
|
| (=> (jailer ?J ?H) (exists (?I) (and (instance ?I Imprisoning) (agent ?I ?J) (patient ?I ?H)))) |
Law.kif 251-257 | If X jails Y, then there exists Z such that Z is an instance of imprisoning, X is an agent of Z, and Y is a patient of Z |
| (=> (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 X holds during Y, then there exist Z, W such that W is an instance of imprisoning, Z happens earlier than Y, and X is a detainee of W holds during Z |
|
|
|