Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  CivilianInternee

 Sigma KEE - CivilianInternee
CivilianInternee(civilian internee)

appearance as argument number 1
-------------------------


(instance CivilianInternee SocialRole) MilitaryPersons.kif 301-301 Civilian internee is an instance of social role
(subAttribute CivilianInternee Prisoner) MilitaryPersons.kif 302-302 Civilian internee is a subattribute of prisoner
(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 304-310 Civilian internee is a subattribute of prisoner
(externalImage CivilianInternee "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ CBP_pat_down.jpg") pictureList.kif 2656-2656 Civilian internee is a subattribute of prisoner

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage CivilianInternee "civilian internee") domainEnglishFormat.kif 14964-14964
(termFormat ChineseTraditionalLanguage CivilianInternee "平民被拘禁者") domainEnglishFormat.kif 14965-14965
(termFormat ChineseLanguage CivilianInternee "平民被拘禁者") domainEnglishFormat.kif 14966-14966

antecedent
-------------------------


(=>
    (holdsDuring ?T1
        (and
            (attribute ?P CivilianInternee)
            (located ?P ?LOC)))
    (holdsDuring ?T1
        (attribute ?LOC WarState)))		 MilitaryPersons.kif 314-320 If civilian internee is an attribute of X and X is located at Y holds during Z, then war state is an attribute of Y holds during Z
(=>
    (holdsDuring ?NOW
        (attribute ?P CivilianInternee))
    (not
        (holdsDuring ?NOW
            (instance ?P MilitaryForce))))		 MilitaryPersons.kif 324-329 If civilian internee is an attribute of X holds during Y, then X is not an instance of military force doesn't hold during Y

consequent
-------------------------


(=>
    (and
        (instance ?S SupportCI)
        (patient ?S ?P))
    (attribute ?P CivilianInternee))		 MilitaryProcesses.kif 1286-1290 If X is an instance of supportCI and Y is a patient of X, then civilian internee is an attribute of Y


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners