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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PrisonerOfWar
PrisonerOfWar(prisoner of war)
POW, prisoner_of_war

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


(documentation PrisonerOfWar EnglishLanguage "A detained person as defined in Articles 4 and 5 of the Geneva Convention Relative to the Treatment of Prisoners of War of August 12, 1949. In particular, one who, while engaged in combat under orders of his or her government, is captured by the armed forces of the enemy. As such, he or she is entitled to the combatant's privilege of immunity from the municipal law of the capturing state for warlike acts which do not amount to breaches of the law of armed conflict. For example, a prisoner of war may be, but is not limited to, any person belonging to one of the following categories who has fallen into the power of the enemy: a member of the armed forces, organized militia or volunteer corps, a person who accompanies the armed forces without actually being a member thereof; a member of a merchant marine or civilian aircraft crew not qualifying for more favorable treatment, or individuals who, on the approach of the enemy, spontaneously take up arms to resist the invading forces. Also called POW or PW. ") MilitaryPersons.kif 255-270
(externalImage PrisonerOfWar "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ German_POWs.jpg") pictureList.kif 2727-2727
(externalImage PrisonerOfWar "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7c/ Kriegsgefangene.jpg") pictureList.kif 2913-2913
(externalImage PrisonerOfWar "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ A_Bren_Gun_Carrier_brings_in_a_batch_of_German_prisoners.jpg") pictureList.kif 2914-2914
(externalImage PrisonerOfWar "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Japanese_Prisoners_of_War_at_Guam_-_15_August_1945.jpg") pictureList.kif 2915-2915
(instance PrisonerOfWar SocialRole) MilitaryPersons.kif 252-252 Prisoner of war is an instance of social role
(subAttribute PrisonerOfWar Prisoner) MilitaryPersons.kif 253-253 Prisoner of war is a subattribute of prisoner

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


(termFormat ChineseLanguage PrisonerOfWar "战俘") domainEnglishFormat.kif 47470-47470
(termFormat ChineseTraditionalLanguage PrisonerOfWar "戰俘") domainEnglishFormat.kif 47469-47469
(termFormat EnglishLanguage PrisonerOfWar "prisoner of war") domainEnglishFormat.kif 47468-47468

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


(=>
    (holdsDuring ?T1
        (and
            (attribute ?P PrisonerOfWar)
            (located ?P ?LOC)))
    (holdsDuring ?T1
        (attribute ?LOC WarState)))
MilitaryPersons.kif 274-280

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


(=>
    (and
        (instance ?F Facility)
        (holdsDuring ?T
            (attribute ?F MilitarilySecure))
        (instance ?MF MilitaryForce)
        (possesses ?MF ?F))
    (not
        (exists (?E)
            (and
                (enemy ?MF ?E)
                (holdsDuring ?T
                    (and
                        (located ?E ?F)
                        (not
                            (attribute ?E PrisonerOfWar))))))))
MilitaryProcesses.kif 2865-2880
(=>
    (and
        (instance ?F MilitaryForce)
        (instance ?P Human)
        (instance ?I Imprisoning)
        (member ?P ?F)
        (agent ?I ?E)
        (patient ?I ?P)
        (enemy ?E ?P)
        (eventLocated ?I ?LOC)
        (attribute ?LOC WarState))
    (attribute ?P PrisonerOfWar))
MilitaryPersons.kif 285-296
(=>
    (and
        (instance ?S SupportEPW)
        (patient ?S ?P))
    (attribute ?P PrisonerOfWar))
MilitaryProcesses.kif 1249-1253


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