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

Formal Language: 



KB Term:  Term intersection
English Word: 

  victim

Sigma KEE - victim
victim

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


(documentation victim EnglishLanguage "The one who is the object of a CriminalAction and suffers its results.") Law.kif 302-303
(domain victim 1 CriminalAction) Law.kif 298-298
(instance victim CaseRole) Law.kif 296-296
(subrelation victim patient) Law.kif 297-297

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


(format EnglishLanguage victim "%2 is the victim in %1") Law.kif 300-300
(termFormat EnglishLanguage victim "victim") Law.kif 299-299

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


(=>
    (victim ?P ?V)
    (suffers ?P ?V))
Law.kif 305-307


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners