Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Confining
|
|
|
| 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 15521-15521 | 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 8100-8100 | 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 5257-5263 | 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 8084-8094 | 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 19042-19050 | 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 19063-19070 | 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 19072-19084 | 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 27656-27664 | 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 |
| (<=> (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE)) |
Justice.kif 26-28 | X detained at time in place Y for Z if, only if X plays role in event of type detainee for confining with Y, and Z |
|