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

Formal Language: 



KB Term:  Term intersection
English Word: 

  target

 Sigma KEE - target
target

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


(documentation target EnglishLanguage "target is a subrelation of destination when there is a Projectile as an instrument. (destination ?A ?O) means that ?O is the target of an Attack ?A") MilitaryProcesses.kif 2802-2804
(domain target 1 Attack) MilitaryProcesses.kif 2805-2805
(domain target 2 Object) MilitaryProcesses.kif 2806-2806
(instance target CaseRole) MilitaryProcesses.kif 2800-2800
(subrelation target destination) MilitaryProcesses.kif 2801-2801

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


(format EnglishLanguage target "%2 is the target of %1") MilitaryProcesses.kif 2903-2903
(termFormat EnglishLanguage target "target") MilitaryProcesses.kif 3029-3029

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


(=>
    (target ?A ?O)
    (exists (?W ?P)
        (and
            (instance ?W Weapon)
            (instrument ?A ?W)
            (instance ?P Projectile)
            (patient ?A ?P)
            (destination ?A ?O))))		 MilitaryProcesses.kif 2809-2817


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 3.0 is open source software produced by Articulate Software and its partners