Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - victim
victim

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


(instance victim CaseRole) Mid-level-ontology.kif 17770-17770 victim is an instance of case role
(subrelation victim patient) Mid-level-ontology.kif 17771-17771 victim is a subrelation of patient
(domain victim 1 CriminalAction) Mid-level-ontology.kif 17772-17772 The number 1 argument of victim is an instance of criminal action
(domain victim 2 Entity) Mid-level-ontology.kif 17773-17773 The number 2 argument of victim is an instance of entity
(documentation victim EnglishLanguage "The one who is the object of a CriminalAction and suffers its results.") Mid-level-ontology.kif 17777-17778 The number 2 argument of victim is an instance of entity

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


(termFormat EnglishLanguage victim "victim") Mid-level-ontology.kif 17774-17774
(format EnglishLanguage victim "%2 is the victim in %1") Mid-level-ontology.kif 17775-17775

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


(=>
    (victim ?P ?V)
    (suffers ?P ?V))		 Mid-level-ontology.kif 17780-17782 If X is the victim in Y, then X suffers from Y
(=>
    (and
        (instance ?R Robbing)
        (agent ?R ?P)
        (victim ?R ?P2))
    (exists (?T)
        (and
            (instance ?T Threatening)
            (subProcess ?T ?R)
            (fears ?P2
                (exists (?A)
                    (and
                        (instance ?A Attack)
                        (agent ?A ?P)
                        (victim ?A ?P2)))))))		 Mid-level-ontology.kif 20519-20533 If X is an instance of robbing, Y is an agent of X, and Z is the victim in X, then there exists W such that W is an instance of threatening, W is a subprocess of X, Z fears there exists V such that V is an instance of attack, Y is an agent of V, and Z is the victim in V

consequent
-------------------------


(=>
    (and
        (instance ?R Robbing)
        (agent ?R ?P)
        (victim ?R ?P2))
    (exists (?T)
        (and
            (instance ?T Threatening)
            (subProcess ?T ?R)
            (fears ?P2
                (exists (?A)
                    (and
                        (instance ?A Attack)
                        (agent ?A ?P)
                        (victim ?A ?P2)))))))		 Mid-level-ontology.kif 20519-20533 If X is an instance of robbing, Y is an agent of X, and Z is the victim in X, then there exists W such that W is an instance of threatening, W is a subprocess of X, Z fears there exists V such that V is an instance of attack, Y is an agent of V, and Z is the victim in V


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners