Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Imprisoning(imprisoning) |  | do, imprisonment, serve |
| appearance as argument number 1 |
|
|
| (subclass Imprisoning Confining) | Mid-level-ontology.kif 15521-15521 | 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 15522-15523 | 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 15525-15530 | 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 25831-25844 | 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 288-299 | 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 245-253 | 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 |
|