Confining | ![]() |
appearance as argument number 1 |
![]() |
(documentation Confining ChineseLanguage "这是 Keeping Process 的 Class,这是发生在 当 patient 在非自愿的情况下被拘留,而这受事者可以是 Human 或 Animal。这包括笼罩、坐牢和监禁等。") | chinese_format.kif 3143-3144 | |
(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 11354-11356 | |
(subclass Confining Keeping) | Merge.kif 11353-11353 |
appearance as argument number 2 |
![]() |
(subclass Imprisoning Confining) | Mid-level-ontology.kif 11557-11557 | |
(termFormat ChineseLanguage Confining "关押") | chinese_format.kif 1155-1155 | |
(termFormat EnglishLanguage Confining "confining") | english_format.kif 1532-1532 |
appearance as argument number 3 |
![]() |
(domain detainee 1 Confining) | Mid-level-ontology.kif 6423-6423 |
antecedent |
![]() |
(=> (and (instance ?CONFINE Confining) (patient ?CONFINE ?PERSON) (instance ?PERSON Human)) (not (desires ?PERSON (patient ?CONFINE ?PERSON)))) |
Merge.kif 11365-11370 | |
(=> (instance ?CONFINE Confining) (exists (?AGENT) (and (instance ?AGENT Animal) (patient ?CONFINE ?AGENT)))) |
Merge.kif 11358-11363 |
consequent |
![]() |
(<=> (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE)) |
Justice.kif 26-28 | |
(=> (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 14872-14880 | |
(=> (and (instance ?H Hunting) (patient ?H ?P)) (hasPurpose ?H (exists (?PROC) (and (patient ?PROC ?P) (or (instance ?PROC Confining) (instance ?PROC Killing)))))) |
Merge.kif 11984-11994 | |
(=> (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 23287-23295 | |
(=> (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 6407-6417 | |
(=> (instance ?T LivestockPen) (hasPurpose ?T (exists (?C ?L) (and (instance ?L Livestock) (instance ?C Confining) (instrument ?C ?T) (patient ?C ?L))))) |
Mid-level-ontology.kif 4984-4992 | |
(=> (instance ?T TrapOrCage) (hasPurpose ?T (exists (?C) (and (instance ?C Confining) (instrument ?C ?T))))) |
Mid-level-ontology.kif 4972-4978 |
![]() |
![]() |