Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Suicide(suicide)
more pictures... |  | self-annihilation, self-destruction, suicide |
| appearance as argument number 1 |
|
|
| (subclass Suicide Killing) | Mid-level-ontology.kif 20180-20180 | Suicide is a subclass of killing |
| (documentation Suicide EnglishLanguage "Any instance of Killing where the agent and the experiencer are identical.") | Mid-level-ontology.kif 20181-20182 | Suicide is a subclass of killing |
| (externalImage Suicide "http://upload.wikimedia.org/wikipedia/commons/0/ 0f/ Frederick_Leighton_-_The_Reconciliation_of_the_Montagues_and_Capulets_over_the_Dead_Bodies_of_Romeo_and_Juliet.jpg") | pictureList.kif 6903-6903 | Suicide is a subclass of killing |
| (externalImage Suicide "http://upload.wikimedia.org/wikipedia/commons/1/ 11/ USS_White_Plains_attack_by_Tokkotai_unit_25.10.1945_kk1a.jpg") | pictureList.kif 8002-8002 | Suicide is a subclass of killing |
| (externalImage Suicide "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ Wakisashi_sepukku_p1000699.jpg") | pictureList.kif 8003-8003 | Suicide is a subclass of killing |
| (externalImage Suicide "http://upload.wikimedia.org/wikipedia/commons/7/ 78/ Suicide_rates_in_U.S._by_gender_and_race_%282000%29.jpg") | pictureList.kif 8004-8004 | Suicide is a subclass of killing |
| (externalImage Suicide "http://upload.wikimedia.org/wikipedia/commons/7/ 7f/ Japanesesuicide.jpg") | pictureList.kif 8005-8005 | Suicide is a subclass of killing |
| (externalImage Suicide "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Street_Girl%27s_End.jpg") | pictureList.kif 8006-8006 | Suicide is a subclass of killing |
| (externalImage Suicide "http://upload.wikimedia.org/wikipedia/commons/9/ 93/ Euthanasia_machine_%28Australia%29.JPG") | pictureList.kif 8007-8007 | Suicide is a subclass of killing |
| (externalImage Suicide "http://upload.wikimedia.org/wikipedia/commons/d/ da/ Volkssturm.jpg") | pictureList.kif 8008-8008 | Suicide is a subclass of killing |
| (externalImage Suicide "http://upload.wikimedia.org/wikipedia/en/7/78/Burningmonk.jpg") | pictureList.kif 8009-8009 | Suicide is a subclass of killing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?S Suicide) (exists (?A) (and (agent ?S ?A) (experiencer ?S ?A)))) |
Mid-level-ontology.kif 20184-20189 | If X is an instance of suicide, then there exists Y such that Y is an agent of X and Y experiences X |
|