| Confining(confining) | | abduct, cabin, choke_hold, chokehold, closet, confine, confinement, coop_in, coop_up, custody, false_imprisonment, fold, free, freeborn, gate, ground, house_arrest, impress, imprisonment, internment, isolated, kidnap, lockdown, maroon, nobble, pen_up, quarantined, sequestered, servile, shanghai, snatch |
| appearance as argument number 1 |
|
|
| (subclass Confining Keeping) | Merge.kif 12486-12486 | Confining is a subclass of keeping |
| (documentation Confining EnglishLanguage "The Class of Keeping Processes where the patient is a Human or an Animal and is kept involuntarily. This covers caging, imprisonment, jailing, etc.") | Merge.kif 12487-12489 | Confining is a subclass of keeping |
| appearance as argument number 2 |
|
|
| (subclass Imprisoning Confining) | Mid-level-ontology.kif 15475-15475 | Imprisoning is a subclass of confining |
| (termFormat EnglishLanguage Confining "confining") | english_format.kif 1531-1531 | Imprisoning is a subclass of confining |
| appearance as argument number 3 |
|
|
| (domain detainee 1 Confining) | Mid-level-ontology.kif 8062-8062 | The number 1 argument of detainee is an instance of confining |
| antecedent |
|
|
| (=> (instance ?CONFINE Confining) (exists (?AGENT) (and (instance ?AGENT Animal) (patient ?CONFINE ?AGENT)))) |
Merge.kif 12491-12496 | If X is an instance of confining, then there exists Y such that Y is an instance of animal and Y is a patient of X |
| (=> (and (instance ?CONFINE Confining) (patient ?CONFINE ?PERSON) (instance ?PERSON Human)) (not (desires ?PERSON (patient ?CONFINE ?PERSON)))) |
Merge.kif 12498-12503 | If X is an instance of confining, Y is a patient of X, and Y is an instance of human, then Y doesn't desire Y is not a patient of X |
| consequent |
|
|
| (=> (and (instance ?H Hunting) (patient ?H ?P)) (hasPurpose ?H (exists (?PROC) (and (patient ?PROC ?P) (or (instance ?PROC Confining) (instance ?PROC Killing)))))) |
Merge.kif 13200-13210 | If X is an instance of hunting and Y is a patient of X, then X has the purpose there exists Z such that Y is a patient of Z and Z is an instance of confining or Z is an instance of killing |
| (=> (instance ?T TrapOrCage) (hasPurpose ?T (exists (?C) (and (instance ?C Confining) (instrument ?C ?T))))) |
Mid-level-ontology.kif 5229-5235 | If X is an instance of trap or cage, then X has the purpose there exists Y such that Y is an instance of confining and X is an instrument for Y |
| (=> (instance ?P Prison) (hasPurpose ?P (exists (?C ?H ?G) (and (instance ?C Confining) (eventLocated ?C ?P) (patient ?C ?H) (instance ?H Human) (agent ?C ?G) (instance ?G Government))))) |
Mid-level-ontology.kif 8046-8056 | If X is an instance of prison, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of confining (3) Y is located at X (4) Z is a patient of Y (5) Z is an instance of human (6) W is an agent of Y (7) W is an instance of government |
| (=> (and (instance ?ESCAPE Escaping) (agent ?ESCAPE ?AGENT)) (exists (?CONFINE) (and (instance ?CONFINE Confining) (patient ?CONFINE ?AGENT) (meetsTemporally (WhenFn ?CONFINE) (WhenFn ?ESCAPE))))) |
Mid-level-ontology.kif 18996-19004 | If X is an instance of escaping and Y is an agent of X, then there exists Z such that Z is an instance of confining, Y is a patient of Z, and the time of existence of Z meets the time of existence of X |
| (=> (instance ?E Escaping) (exists (?C) (and (instance ?C Confining) (startsDuring (WhenFn ?C) (WhenFn ?E))))) |
Mid-level-ontology.kif 19017-19024 | If X is an instance of escaping, then there exists Y such that Y is an instance of confining, starts during the time of existence of Y, and the time of existence of X |
| (=> (and (instance ?E Escaping) (agent ?E ?A)) (holdsDuring (ImmediateFutureFn (EndFn (WhenFn ?E))) (not (exists (?C) (and (instance ?C Confining) (patient ?C ?A)))))) |
Mid-level-ontology.kif 19026-19038 | If X is an instance of escaping and Y is an agent of X, then there doesn't exist Z such that Z is an instance of confining and Y is a patient of Z holds during immediately after the end of the time of existence of X |
| (=> (instance ?KENNEL Kennel) (hasPurpose ?KENNEL (exists (?ANIMAL ?CONFINING) (and (instance ?ANIMAL DomesticAnimal) (instance ?CONFINING Confining) (patient ?CONFINING ?ANIMAL) (eventLocated ?CONFINING ?KENNEL))))) |
Mid-level-ontology.kif 27610-27618 | If X is an instance of kennel, then X has the purpose there exist Y, Z such that Y is an instance of domestic animal, Z is an instance of confining, Y is a patient of Z, and Z is located at X |
| (=> (instance ?T LivestockPen) (hasPurpose ?T (exists (?C ?L) (and (instance ?L Livestock) (instance ?C Confining) (instrument ?C ?T) (patient ?C ?L))))) |
Economy.kif 5235-5243 | If X is an instance of pen, then X has the purpose there exist Y, Z such that Z is an instance of livestock, Y is an instance of confining, X is an instrument for Y, and Z is a patient of Y |
|
|
|