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

KB Term:  Term intersection
English Word: 

Sigma KEE - Prison
Prison(prison)
Auschwitz, Belsen, Black_Hole_of_Calcutta, Buchenwald, bastille, clink, concentration_camp, death_camp, gaol, jail, jailhouse, labor_camp, labour_camp, pokey, poky, slammer, stockade

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


(subclass Prison StationaryArtifact) Mid-level-ontology.kif 8079-8079 Prison is a subclass of stationary artifact
(documentation Prison EnglishLanguage "An installation which is owned and maintained by a Government for the purpose of Confining people. This class covers jails, federal prisons, concentration camps, gulags, etc.") Mid-level-ontology.kif 8080-8082 Prison is a subclass of stationary artifact
(externalImage Prison "http://upload.wikimedia.org/wikipedia/commons/f/f1/ SafrikaIMG_8414.JPG") pictureList.kif 154-154 Prison is a subclass of stationary artifact

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


(termFormat EnglishLanguage Prison "prison") domainEnglishFormat.kif 47413-47413
(termFormat ChineseTraditionalLanguage Prison "監獄") domainEnglishFormat.kif 47414-47414
(termFormat ChineseLanguage Prison "监狱") domainEnglishFormat.kif 47415-47415

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


(=>
    (instance ?P Prison)
    (hasPurpose ?P
        (exists (?C ?H ?G)
            (and
                (instance ?C Confining)
                (eventLocated ?C ?P)
                (patient ?C ?H)
                (instance ?H Human)
                (agent ?C ?G)
                (instance ?G Government)))))		 Mid-level-ontology.kif 8084-8094 If X is an instance of prison, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of confining (3) Y is located at X (4) Z is a patient of Y (5) Z is an instance of human (6) W is an agent of Y (7) W is an instance of government

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


(=>
    (instance ?I Imprisoning)
    (exists (?P)
        (and
            (instance ?P Prison)
            (eventLocated ?I ?P))))		 Mid-level-ontology.kif 15525-15530 If X is an instance of imprisoning, then there exists Y such that Y is an instance of prison and X is located at Y


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