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 12247-12249 | |
(subclass Confining Keeping) | Merge.kif 12246-12246 | Confining is a subclass of keeping |
appearance as argument number 2 |
(subclass Imprisoning Confining) | Mid-level-ontology.kif 13947-13947 | Imprisoning is a subclass of confining |
(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 | The number 1 argument of detainee is an instance of confining |
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 |