| 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 7942-7942 | 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 7943-7945 | 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 |
|
|
| 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 7947-7957 | 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 15446-15451 | 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 |
|
|
|