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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CivilianInternee
CivilianInternee(civilian internee)

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 2658-2658
(instance CivilianInternee SocialRole) MilitaryPersons.kif 298-298 Civilian internee is an instance of social role
(subAttribute CivilianInternee Prisoner) MilitaryPersons.kif 299-299 Civilian internee is a subattribute of prisoner

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


(termFormat ChineseLanguage CivilianInternee "平民被拘禁者") domainEnglishFormat.kif 14899-14899
(termFormat ChineseTraditionalLanguage CivilianInternee "平民被拘禁者") domainEnglishFormat.kif 14898-14898
(termFormat EnglishLanguage CivilianInternee "civilian internee") domainEnglishFormat.kif 14897-14897

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 1263-1267


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners