Confining(confiner) |
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 12247-12249 | |
(subclass Confining Keeping) | Merge.kif 12246-12246 | Confiner est une sous-classe de garder |
appearance as argument number 2 |
(subclass Imprisoning Confining) | Mid-level-ontology.kif 13947-13947 | Imprisoning est une sous-classe de confiner |
(termFormat ChineseLanguage Confining "关押") | chinese_format.kif 1155-1155 | |
(termFormat EnglishLanguage Confining "confining") | english_format.kif 1527-1527 | |
(termFormat FrenchLanguage Confining "confiner") | french_format.kif 833-833 | |
(termFormat Hindi Confining "parisiimana") | terms-hindi.txt 365-365 | |
(termFormat ItalianLanguage Confining "Imprigionare") | terms-it.txt 368-368 | |
(termFormat JapaneseLanguage Confining "閉じ込め") | japanese_format.kif 2517-2517 | |
(termFormat PortugueseLanguage Confining "Confinar") | portuguese_format.kif 785-785 | |
(termFormat cb Confining "pagpahimutang sa dapit") | terms-cb.txt 370-370 | |
(termFormat cz Confining "confining") | terms-cz.txt 404-404 | |
(termFormat ro Confining "restrângere") | relations-ro.kif 854-854 | |
(termFormat tg Confining "hanggahan") | terms-tg.txt 369-369 |
appearance as argument number 3 |
(domain detainee 1 Confining) | Mid-level-ontology.kif 6811-6811 | Le nombre 1 argument de detainee est une instance de confiner |
antecedent |
(=> (and (instance ?CONFINE Confining) (patient ?CONFINE ?PERSON) (instance ?PERSON Human)) (not (desires ?PERSON (patient ?CONFINE ?PERSON)))) |
Merge.kif 12258-12263 |
|
(=> (instance ?CONFINE Confining) (exists (?AGENT) (and (instance ?AGENT Animal) (patient ?CONFINE ?AGENT)))) |
Merge.kif 12251-12256 |
consequent |
(<=> (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE)) |
Justice.kif 26-28 | detainedAtTimeInPlace sentient agent, position temporel and objet playsRoleInEventOfType sentient agent, detainee, confiner, position temporel and objet |
(=> (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 17308-17316 | |
(=> (and (instance ?H Hunting) (patient ?H ?P)) (hasPurpose ?H (exists (?PROC) (and (patient ?PROC ?P) (or (instance ?PROC Confining) (instance ?PROC Killing)))))) |
Merge.kif 12956-12966 | |
(=> (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 25410-25418 | |
(=> (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 6795-6805 | |
(=> (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 4653-4661 | |
(=> (instance ?T TrapOrCage) (hasPurpose ?T (exists (?C) (and (instance ?C Confining) (instrument ?C ?T))))) |
Mid-level-ontology.kif 4641-4647 |