Prison - Sigma Knowledge base Browser

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

appearance as argument number 2

(termFormat ChineseLanguage Prison "监狱")	domainEnglishFormat.kif 47458-47458
(termFormat ChineseTraditionalLanguage Prison "監獄")	domainEnglishFormat.kif 47457-47457
(termFormat EnglishLanguage Prison "prison")	domainEnglishFormat.kif 47456-47456

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

If a physical is an instance of prison,
then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of confining and the entity is located at the physical and the other entity is a patient of the entity and the other entity is an instance of human and the third entity is an agent of the entity and the third entity is an instance of government

consequent

(=>
    (instance ?I Imprisoning)
    (exists (?P)
        (and
            (instance ?P Prison)
            (eventLocated ?I ?P))))

Mid-level-ontology.kif 14142-14147

If a process is an instance of imprisoning,
then there exists an object such that the object is an instance of prison and the process is located at the object

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

KB Term:			Term intersection

English Word: