Attack - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Attack

Attack(attack)

assail, attack, bear_down, charge, countercharge, first_strike, onrush, onset, onslaught, preventive_attack, preventive_strike, strafe, strike, submarine, surgical_strike

appearance as argument number 1

(documentation Attack ChineseLanguage "这是在 ViolentContest 中的一种 Maneuver，它发生在当 agent 尝试对 patient 造成伤害。")	chinese_format.kif 3304-3305
(documentation Attack EnglishLanguage "A Maneuver in a ViolentContest where the agent attempts to inflict damage on the patient.")	Merge.kif 13474-13475
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/9/9b/ Kick.JPG")	pictureList.kif 10447-10447
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/a/a2/ Foiltouch.jpg")	pictureList.kif 9893-9893
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/d/d9/ Ouch_boxing_footwork.jpg")	pictureList.kif 10445-10445
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/e/ee/ Wushu_dao.jpg")	pictureList.kif 10446-10446
(subclass Attack Maneuver)	Merge.kif 13473-13473	Attack is a subclass of maneuver

appearance as argument number 2

(subclass BiochemicalAttack Attack)	WMD.kif 40-40	Biochemical attack is a subclass of attack
(subclass CTNwInfraAttack Attack)	MilitaryProcesses.kif 2053-2053	CT nw infra attack is a subclass of attack
(subclass StandoffAttack Attack)	MilitaryProcesses.kif 437-437	Standoff attack is a subclass of attack
(subclass TerroristAttack Attack)	MilitaryProcesses.kif 2114-2114	Terrorist attack is a subclass of attack
(termFormat ChineseLanguage Attack "攻击")	domainEnglishFormat.kif 8983-8983	Terrorist attack is a subclass of attack
(termFormat ChineseTraditionalLanguage Attack "攻擊")	domainEnglishFormat.kif 8982-8982	Terrorist attack is a subclass of attack
(termFormat EnglishLanguage Attack "attack")	domainEnglishFormat.kif 8981-8981	Terrorist attack is a subclass of attack

appearance as argument number 3

(domain target 1 Attack)

MilitaryProcesses.kif 2785-2785

The number 1 argument of target is an instance of attack

antecedent

(=> (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?OBJ)) (hasPurposeForAgent ?ATTACK (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?OBJ))) ?AGENT))	Merge.kif 13484-13493	If a process is an instance of attack and an agent is an agent of the process and an entity is a patient of the process, then the process has the purpose there exists another entity such that the other entity is an instance of damaging and the entity is a patient of the other entity for the agent
(=> (instance ?ATTACK Attack) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?ATTACK ?CONTEST))))	Merge.kif 13477-13482	If a process is an instance of attack, then there exists another process such that the other process is an instance of violent contest and the process is a subprocess of the other process

consequent

(=> (and (instance ?AMBUSH Ambush) (agent ?AMBUSH ?AG)) (exists (?C) (and (instance ?C Concealing) (subProcess ?C ?AMBUSH) (hasPurpose ?C (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AG)))))))	Mid-level-ontology.kif 22871-22883	If a process is an instance of ambush and an agent is an agent of the process, then there exists another process such that the other process is an instance of concealing and the other process is a subprocess of the process and the other process has the purpose there exists an entity such that the entity is an instance of attack and the agent is an agent of the entity
(=> (and (instance ?AR ArmedReconnaissance) (agent ?AR ?AGENT) (patient ?AR ?HOSTILE) (holdsDuring (WhenFn ?AR) (enemy ?AGENT ?HOSTILE))) (confersRight (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?HOSTILE))) ?AR ?AGENT))	MilitaryProcesses.kif 89-103	If a process is an instance of armed reconnaissance and a cognitive agent is an agent of the process and an entity is a patient of the process and the cognitive agent and the entity are enemies of each other holds during the time of existence of the process, then the process allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of attack and the cognitive agent is an agent of the other entity and the entity is a patient of the other entity
(=> (and (instance ?F Facility) (holdsDuring ?T (attribute ?F MilitarilySecure)) (instance ?MF MilitaryForce) (possesses ?MF ?F)) (not (exists (?A ?E) (and (instance ?A Attack) (during ?T (WhenFn ?A)) (destination ?A ?F) (agent ?A ?E) (enemy ?MF ?E)))))	MilitaryProcesses.kif 2829-2843	If an object is an instance of Facility and militarily secure is an attribute of the object holds during a time interval and an agent is an instance of military force and the agent possesses the object, then there don't exist a process and another agent such that the process is an instance of attack and the time interval takes place during the time of existence of the process and the process ends up at the object and the other agent is an agent of the process and the agent and the other agent are enemies of each other
(=> (and (instance ?MANEUVER Maneuver) (instance ?CONTEST ViolentContest) (subProcess ?MANEUVER ?CONTEST)) (or (instance ?MANEUVER Attack) (instance ?MANEUVER DefensiveManeuver)))	Merge.kif 13517-13524	If a process is an instance of maneuver and another process is an instance of violent contest and the process is a subprocess of the other process, then the process is an instance of attack or the process is an instance of defensive maneuver
(=> (and (instance ?PSR PoststrikeReconnaissance) (patient ?PSR ?OBJ)) (exists (?ATTACK) (and (instance ?ATTACK Attack) (patient ?ATTACK ?OBJ) (earlier (WhenFn ?ATTACK) (WhenFn ?PSR)))))	MilitaryProcesses.kif 121-129	If a process is an instance of poststrike reconnaissance and an entity is a patient of the process, then there exists another process such that the other process is an instance of attack and the entity is a patient of the other process and the time of existence of the other process happens earlier than the time of existence of the process
(=> (and (instance ?R Robbing) (agent ?R ?P) (patient ?R ?P2)) (exists (?T) (and (instance ?T Threatening) (subProcess ?T ?R) (patient ?T (exists (?A) (and (instance ?A Attack) (agent ?A ?P) (patient ?A ?P2)))))))	Mid-level-ontology.kif 19689-19703	If a process is an instance of robbing and an agent is an agent of the process and the agent2 is a patient of the process, then there exists another process such that the other process is an instance of threatening and the other process is a subprocess of the process and there exists another entity such that the other entity is an instance of attack and the agent is an agent of the other entity and the agent2 is a patient of the other entity is a patient of the other process
(=> (and (instance ?RbF ReconnaissanceByFire) (agent ?RbF ?AGENT)) (exists (?ATTACK ?HOSTILE) (and (patient ?RbF ?HOSTILE) (subProcess ?ATTACK ?RbF) (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?HOSTILE))))	MilitaryProcesses.kif 713-723	If a process is an instance of reconnaissance by fire and an agent is an agent of the process, then there exist another process and an entity such that the entity is a patient of the process and the other process is a subprocess of the process and the other process is an instance of attack and the agent is an agent of the other process and the entity is a patient of the other process
(=> (and (instance ?SR ReconnaissanceOperation) (agent ?SR ?AGENT)) (not (hasPurpose ?SR (exists (?ATTACK ?HOSTILE) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?HOSTILE))))))	MilitaryProcesses.kif 694-704	If a process is an instance of reconnaissance operation and an agent is an agent of the process, then the process does not have the purpose there exist an entity and another entity such that the entity is an instance of attack and the agent is an agent of the entity and the other entity is a patient of the entity
(=> (and (instance ?TA_CTRL TerminalAttackControl) (agent ?TA_CTRL ?AGENT1) (patient ?TA_CTRL ?TARGET)) (exists (?AGENT2) (and (not (equal ?AGENT1 ?AGENT2)) (confersRight (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT2) (patient ?ATTACK ?TARGET))) ?TA_CTRL ?AGENT2))))	MilitaryProcesses.kif 482-498	If an entity_CTRL is an instance of terminal attack control and an agent is an agent of the entity_CTRL and the entityRGET is a patient of the entity_CTRL, then there exists a cognitive agent such that the agent is not equal to the cognitive agent and the entity_CTRL allows the cognitive agent to perform task of the type there exists a third entity such that the third entity is an instance of attack and the cognitive agent is an agent of the third entity and the entityRGET is a patient of the third entity
(=> (and (instance ?TA_CTRL TerminalGuidance) (agent ?TA_CTRL ?AGENT) (patient ?TA_CTRL ?TARGET)) (not (holdsRight (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?TARGET))) ?AGENT)))	MilitaryProcesses.kif 535-547	If an entity_CTRL is an instance of terminal guidance and a cognitive agent is an agent of the entity_CTRL and the entityRGET is a patient of the entity_CTRL, then the cognitive agent doesn't have the right to perform there exists a third entity such that the third entity is an instance of attack and the cognitive agent is an agent of the third entity and the entityRGET is a patient of the third entity
(=> (instance ?CH AH1) (hasPurpose ?CH (exists (?ATTACK) (and (instance ?ATTACK Attack) (instrument ?ATTACK ?CH)))))	MilitaryDevices.kif 1935-1941	If a physical is an instance of A h1, then the physical has the purpose there exists an entity such that the entity is an instance of attack and the physical is an instrument for the entity
(=> (instance ?F Fighter) (hasPurpose ?F (exists (?A ?MA) (and (instance ?A Attack) (instrument ?A ?F) (patient ?A ?MA) (instance ?MA MilitaryAircraft)))))	Military.kif 231-239	If a physical is an instance of fighter, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of attack and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of military aircraft
(=> (instance ?TANK MilitaryTank) (hasPurpose ?TANK (exists (?A ?M) (and (instance ?A Attack) (subProcess ?A ?M) (instance ?M MilitaryAssault) (instrument ?A ?TANK)))))	Military.kif 159-167	If a physical is an instance of military tank, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of attack and the entity is a subprocess of the other entity and the other entity is an instance of military assault and the physical is an instrument for the entity

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