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


KB Term:  Term intersection
English Word: 

  Hanging

 Sigma KEE - Prisoner
Prisoner(prisoner)
captive, prisoner

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