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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Prison

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


(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 6428-6430
(externalImage Prison "http://upload.wikimedia.org/wikipedia/commons/f/f1/ SafrikaIMG_8414.JPG") pictureList.kif 154-154
(subclass Prison StationaryArtifact) Mid-level-ontology.kif 6427-6427 Prison is a subclass of stationary artifact

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


(termFormat ChineseLanguage Prison "监狱") domainEnglishFormat.kif 47403-47403
(termFormat ChineseTraditionalLanguage Prison "監獄") domainEnglishFormat.kif 47402-47402
(termFormat EnglishLanguage Prison "prison") domainEnglishFormat.kif 47401-47401

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

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


(=>
    (instance ?I Imprisoning)
    (exists (?P)
        (and
            (instance ?P Prison)
            (eventLocated ?I ?P))))
Mid-level-ontology.kif 13394-13399


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