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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Murder
Murder(murder)bump_off, contract_killing, dispatch, execution, filicide, hit, liquidator, manslayer, mariticide, mass_murderer, matricide, murder, murderer, off, parricide, patricide, polish_off, remove, slay, slaying, uxoricide

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


s__documentation(s__Murder,s__EnglishLanguage,'"Impermissible Killing of a Human."')

Mid-level-ontology.kif 16585-16585
s__subclass(s__Murder,s__CriminalAction)

s__instance(s__Murder,s__SetOrClass)

s__instance(s__CriminalAction,s__SetOrClass)

Mid-level-ontology.kif 16584-16584 Murder is a subclass of criminal action
s__instance(s__Killing,s__SetOrClass)

s__subclass(s__Murder,s__Killing)

s__instance(s__Murder,s__SetOrClass)

Mid-level-ontology.kif 16583-16583 Murder is a subclass of killing

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


s__termFormat(s__ChineseLanguage,s__Murder,'"谋杀"')

domainEnglishFormat.kif 39300-39300
s__termFormat(s__ChineseTraditionalLanguage,s__Murder,'"謀殺"')

domainEnglishFormat.kif 39299-39299
s__termFormat(s__EnglishLanguage,s__Murder,'"murder"')

domainEnglishFormat.kif 39298-39298

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


No TPTP formula. May not be expressible in strict first order. Law.kif 524-533
( ! [V__MURDER] :
   ((s__instance(V__MURDER,s__Murder) =>
       (( ? [V__PERSON] :
           ((s__patient(V__MURDER,V__PERSON)
             &
             s__instance(V__PERSON,s__Human))))))
   )
)

Mid-level-ontology.kif 16587-16592


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