Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Distilling

Sigma KEE - CivilianInternee
CivilianInternee(平民被拘禁者)

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


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 is open source software produced by Articulate Software and its partners