Prisoner - Sigma Knowledge base Browser

appearance as argument number 1

(instance Prisoner SocialRole)	MilitaryPersons.kif 240-240	Prisoner is an instance of social role
(documentation Prisoner EnglishLanguage "from WordNet: a person who is confined, especially a prisoner of war.")	MilitaryPersons.kif 241-241	Prisoner is an instance of social role
(externalImage Prisoner "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ CBP_pat_down.jpg")	pictureList.kif 2725-2725	Prisoner is an instance of social role

appearance as argument number 2

(subAttribute PrisonerOfWar Prisoner)	MilitaryPersons.kif 256-256	Prisoner of war is a subattribute of prisoner
(subAttribute CivilianInternee Prisoner)	MilitaryPersons.kif 302-302	Civilian internee is a subattribute of prisoner
(termFormat EnglishLanguage Prisoner "prisoner")	domainEnglishFormat.kif 47419-47419	Civilian internee is a subattribute of prisoner
(termFormat ChineseTraditionalLanguage Prisoner "囚犯")	domainEnglishFormat.kif 47420-47420	Civilian internee is a subattribute of prisoner
(termFormat ChineseLanguage Prisoner "囚犯")	domainEnglishFormat.kif 47421-47421	Civilian internee is a subattribute of prisoner

antecedent

(=>
    (holdsDuring ?NOW
        (attribute ?P Prisoner))
    (exists (?BEFORE ?IMPRISONING)
        (and
            (instance ?IMPRISONING Imprisoning)
            (earlier ?BEFORE ?NOW)
            (holdsDuring ?BEFORE
                (detainee ?IMPRISONING ?P)))))

MilitaryPersons.kif 245-253

If prisoner is an attribute of X holds during Y, then there exist Z, W such that W is an instance of imprisoning, Z happens earlier than Y, and X is a detainee of W holds during Z

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners