Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Sentencing(sentencing)
|  | condemn, doom, sentence |
| appearance as argument number 1 |
|
|
| (subclass Sentencing LegalDecision) | Mid-level-ontology.kif 17878-17878 | Sentencing is a subclass of legal decision |
| (documentation Sentencing EnglishLanguage "Any LegalDecision where the defendant is assigned a punishment for a CriminalAction which was the subject of an earlier LegalConviction.") | Mid-level-ontology.kif 17879-17881 | Sentencing is a subclass of legal decision |
| (externalImage Sentencing "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Louis_Buchalter_sentencing.jpg") | pictureList.kif 4940-4940 | Sentencing is a subclass of legal decision |
| (externalImage Sentencing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Tribunal_de_la_Inquisici%C3%B3n.jpg") | pictureList.kif 5076-5076 | Sentencing is a subclass of legal decision |
| (externalImage Sentencing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Galileo_facing_the_Roman_Inquisition.jpg") | pictureList.kif 5077-5077 | Sentencing is a subclass of legal decision |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
|