target - Sigma Knowledge base Browser

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	The number 1 argument of target is an instance of attack
(domain target 2 Object)	MilitaryProcesses.kif 2806-2806	The number 2 argument of target is an instance of object
(instance target CaseRole)	MilitaryProcesses.kif 2800-2800	target is an instance of case role
(subrelation target destination)	MilitaryProcesses.kif 2801-2801	target is a subrelation of destination

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

If an object is the target of an attack,
then there exist another object and an entity such that the other object is an instance of weapon and the other object is an instrument for the attack and the entity is an instance of projectile and the entity is a patient of the attack and the attack ends up at the object

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

KB Term:			Term intersection

English Word: