Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Suicide
Suicide
more pictures...

appearance as argument number 1
-------------------------


(documentation Suicide EnglishLanguage "Any instance of Killing where the agent and the experiencer are identical.") Mid-level-ontology.kif 15996-15997
(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 6905-6905
(externalImage Suicide "http://upload.wikimedia.org/wikipedia/commons/1/ 11/ USS_White_Plains_attack_by_Tokkotai_unit_25.10.1945_kk1a.jpg") pictureList.kif 8005-8005
(externalImage Suicide "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ Wakisashi-sepukku-p1000699.jpg") pictureList.kif 8006-8006
(externalImage Suicide "http://upload.wikimedia.org/wikipedia/commons/7/ 78/ Suicide_rates_in_U.S._by_gender_and_race_%282000%29.jpg") pictureList.kif 8007-8007
(externalImage Suicide "http://upload.wikimedia.org/wikipedia/commons/7/ 7f/ Japanesesuicide.jpg") pictureList.kif 8008-8008
(externalImage Suicide "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Street_Girl%27s_End.jpg") pictureList.kif 8009-8009
(externalImage Suicide "http://upload.wikimedia.org/wikipedia/commons/9/ 93/ Euthanasia_machine_%28Australia%29.JPG") pictureList.kif 8010-8010
(externalImage Suicide "http://upload.wikimedia.org/wikipedia/commons/d/ da/ Volkssturm.jpg") pictureList.kif 8011-8011
(externalImage Suicide "http://upload.wikimedia.org/wikipedia/en/7/78/Burningmonk.jpg") pictureList.kif 8012-8012
(subclass Suicide Killing) Mid-level-ontology.kif 15995-15995

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Suicide "自杀") domainEnglishFormat.kif 55929-55929
(termFormat ChineseTraditionalLanguage Suicide "自殺") domainEnglishFormat.kif 55928-55928
(termFormat EnglishLanguage Suicide "suicide") domainEnglishFormat.kif 55927-55927

antecedent
-------------------------


(=>
    (instance ?S Suicide)
    (exists (?A)
        (and
            (agent ?S ?A)
            (experiencer ?S ?A))))
Mid-level-ontology.kif 15999-16004


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners