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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Execution
Execution(execution)auto-da-fe, beheading, burn, burning, burning_at_the_stake, capital_punishment, crucifixion, death_penalty, decapitation, electrocution, execute, executing, execution, hanging, put_to_death

VerbNet: other_cos-45.4|burn, murder-42.1|execute, murder-42.1|execute,


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


(documentation Execution EnglishLanguage "Killing of a Human by a Government for the commission of a CriminalAction.") Mid-level-ontology.kif 15976-15977
(subclass Execution Killing) Mid-level-ontology.kif 15975-15975 Execution is a subclass of killing

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


(termFormat ChineseLanguage Execution "执行") domainEnglishFormat.kif 22621-22621
(termFormat ChineseTraditionalLanguage Execution "執行") domainEnglishFormat.kif 22620-22620
(termFormat EnglishLanguage Execution "execution") domainEnglishFormat.kif 22619-22619

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


(=>
    (instance ?E Execution)
    (exists (?G)
        (and
            (instance ?G Government)
            (agent ?E ?G))))
Mid-level-ontology.kif 15979-15984
(=>
    (instance ?E Execution)
    (exists (?P)
        (and
            (patient ?E ?P)
            (instance ?P Human))))
Mid-level-ontology.kif 15986-15991


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