| 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 11369-11371 | |
| (subclass Confining Keeping) | Merge.kif 11368-11368 |
| 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 11380-11385 | |
| (=> (instance ?CONFINE Confining) (exists (?AGENT) (and (instance ?AGENT Animal) (patient ?CONFINE ?AGENT)))) |
Merge.kif 11373-11378 |
| 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 11999-12009 | |
| (=> (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 |
|
|
|