| 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 6791-6793 | |
| (externalImage Prison "http://upload.wikimedia.org/wikipedia/commons/f/f1/ SafrikaIMG_8414.JPG") | pictureList.kif 154-154 | |
| (subclass Prison StationaryArtifact) | Mid-level-ontology.kif 6790-6790 | Prison è una sottoclasse di ManufattoStatico |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Prison "监狱") | domainEnglishFormat.kif 47422-47422 | |
| (termFormat ChineseTraditionalLanguage Prison "監獄") | domainEnglishFormat.kif 47421-47421 | |
| (termFormat EnglishLanguage Prison "prison") | domainEnglishFormat.kif 47420-47420 |
| 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 6795-6805 |
| consequent |
|
|
| (=> (instance ?I Imprisoning) (exists (?P) (and (instance ?P Prison) (eventLocated ?I ?P)))) |
Mid-level-ontology.kif 13951-13956 |
|
|
|
|