Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
LegalConviction(legal conviction)
|  | condemnation, convict, conviction, judgment_of_conviction, murder_conviction, rape_conviction, robbery_conviction, sentence |
| appearance as argument number 1 |
|
|
| (subclass LegalConviction LegalDecision) | Mid-level-ontology.kif 17847-17847 | Legal conviction is a subclass of legal decision |
| (documentation LegalConviction EnglishLanguage "Any LegalDecision where the defendant is found guilty of the crime for which the corresponding trial was held.") | Mid-level-ontology.kif 17848-17849 | Legal conviction is a subclass of legal decision |
| (externalImage LegalConviction "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Galileo_facing_the_Roman_Inquisition.jpg") | pictureList.kif 4924-4924 | Legal conviction is a subclass of legal decision |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?S Sentencing) (patient ?S ?P)) (exists (?C) (and (causes ?C ?S) (instance ?C LegalConviction) (patient ?C ?P) (earlier (WhenFn ?C) (WhenFn ?S))))) |
Mid-level-ontology.kif 17883-17892 | If X is an instance of sentencing and Y is a patient of X, then there exists Z such that Z causes X, Z is an instance of legal conviction, Y is a patient of Z, and the time of existence of Z happens earlier than the time of existence of X |
| (=> (and (instance ?P Human) (attribute ?P Criminal)) (exists (?CA ?LC) (and (instance ?CA CriminalAction) (instance ?LC LegalConviction) (refers ?LC ?CA) (patient ?LC ?P)))) |
Justice.kif 87-96 | If X is an instance of human and criminal is an attribute of X, then there exist Y, Z such that Y is an instance of criminal action, Z is an instance of legal conviction, Z includes a reference to Y, and X is a patient of Z |
|