Distilling
|
|
appearance as argument number 1 |
(documentation CivilianInternee EnglishLanguage "1. A civilian who is interned during armed conflict or occupation for security reasons or for protection or because he or she has committed an offense against the detaining power. 2. A term used to refer to persons interned and protected in accordance with the Geneva Convention Relative to the Protection of Civilian Persons in Time of War, 12 August 1949 (Geneva Convention). Also called CI.") | MilitaryPersons.kif 301-307 | |
(externalImage CivilianInternee "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ CBP_pat_down.jpg") | pictureList.kif 2657-2657 | |
(instance CivilianInternee SocialRole) | MilitaryPersons.kif 298-298 | 平民被拘禁者 是 身分 的 instance |
(subAttribute CivilianInternee Prisoner) | MilitaryPersons.kif 299-299 | 平民被拘禁者 是 囚犯 的 subAttribute |
appearance as argument number 2 |
(termFormat ChineseLanguage CivilianInternee "平民被拘禁者") | domainEnglishFormat.kif 14964-14964 | |
(termFormat ChineseTraditionalLanguage CivilianInternee "平民被拘禁者") | domainEnglishFormat.kif 14963-14963 | |
(termFormat EnglishLanguage CivilianInternee "civilian internee") | domainEnglishFormat.kif 14962-14962 |
antecedent |
(=> (holdsDuring ?NOW (attribute ?P CivilianInternee)) (not (holdsDuring ?NOW (instance ?P MilitaryForce)))) |
MilitaryPersons.kif 321-326 |
|
(=> (holdsDuring ?T1 (and (attribute ?P CivilianInternee) (located ?P ?LOC))) (holdsDuring ?T1 (attribute ?LOC WarState))) |
MilitaryPersons.kif 311-317 |
consequent |
(=> (and (instance ?S SupportCI) (patient ?S ?P)) (attribute ?P CivilianInternee)) |
MilitaryProcesses.kif 1264-1268 |