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 13369-13370
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/9/9b/ Kick.JPG")	pictureList.kif 10451-10451
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/a/a2/ Foiltouch.jpg")	pictureList.kif 9894-9894
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/d/d9/ Ouch-boxing-footwork.jpg")	pictureList.kif 10449-10449
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/e/ee/ Wushu_dao.jpg")	pictureList.kif 10450-10450
(subclass Attack Maneuver)	Merge.kif 13368-13368	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 8976-8976
(termFormat ChineseTraditionalLanguage Attack "攻擊")	domainEnglishFormat.kif 8975-8975
(termFormat EnglishLanguage Attack "attack")	domainEnglishFormat.kif 8974-8974

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 13379-13388	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 13372-13377	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 21706-21718	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 ?MANEUVER Maneuver) (instance ?CONTEST ViolentContest) (subProcess ?MANEUVER ?CONTEST)) (or (instance ?MANEUVER Attack) (instance ?MANEUVER DefensiveManeuver)))	Merge.kif 13412-13419	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 18549-18563	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 164-172	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

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