| 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 12336-12338 | |
| (subclass Confining Keeping) | Merge.kif 12335-12335 |
| appearance as argument number 2 |
|
|
| (subclass Imprisoning Confining) | Mid-level-ontology.kif 15291-15291 | |
| (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 de Confining "Begrenzen") | terms-de.txt 663-663 | |
| (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 7945-7945 |
| antecedent |
|
|
| (=> (and (instance ?CONFINE Confining) (patient ?CONFINE ?PERSON) (instance ?PERSON Human)) (not (desires ?PERSON (patient ?CONFINE ?PERSON)))) |
Merge.kif 12347-12352 | |
| (=> (instance ?CONFINE Confining) (exists (?AGENT) (and (instance ?AGENT Animal) (patient ?CONFINE ?AGENT)))) |
Merge.kif 12340-12345 |
| 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 18832-18840 | |
| (=> (and (instance ?H Hunting) (patient ?H ?P)) (hasPurpose ?H (exists (?PROC) (and (patient ?PROC ?P) (or (instance ?PROC Confining) (instance ?PROC Killing)))))) |
Merge.kif 13049-13059 | |
| (=> (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 27017-27025 | |
| (=> (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 7929-7939 | |
| (=> (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 5103-5111 | |
| (=> (instance ?T TrapOrCage) (hasPurpose ?T (exists (?C) (and (instance ?C Confining) (instrument ?C ?T))))) |
Mid-level-ontology.kif 5091-5097 |
|
|
|