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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Prison
Prison

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 6764-6766
(externalImage Prison "http://upload.wikimedia.org/wikipedia/commons/f/f1/ SafrikaIMG_8414.JPG") pictureList.kif 154-154
(subclass Prison StationaryArtifact) Mid-level-ontology.kif 6763-6763

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


(termFormat ChineseLanguage Prison "监狱") domainEnglishFormat.kif 47420-47420
(termFormat ChineseTraditionalLanguage Prison "監獄") domainEnglishFormat.kif 47419-47419
(termFormat EnglishLanguage Prison "prison") domainEnglishFormat.kif 47418-47418

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

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


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


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