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

VerbNet: run-51.3.2|charge, run-51.3.2|charge,

appearance as argument number 1

s__documentation(s__Attack,s__ChineseLanguage,'"这是在 ViolentContest 中的一种 Maneuver，它发生在当 agent 尝试对 patient 造成伤害。"')	chinese_format.kif 3304-3305
s__documentation(s__Attack,s__EnglishLanguage,'"A Maneuver in a ViolentContest where the agent attempts to inflict damage on the patient."')	Merge.kif 12422-12423
s__externalImage(s__Attack,'"http://upload.wikimedia.org/wikipedia/commons/9/9b/ Kick.JPG"')	pictureList.kif 10470-10470
s__externalImage(s__Attack,'"http://upload.wikimedia.org/wikipedia/commons/a/a2/ Foiltouch.jpg"')	pictureList.kif 9912-9912
s__externalImage(s__Attack,'"http://upload.wikimedia.org/wikipedia/commons/d/d9/ Ouch-boxing-footwork.jpg"')	pictureList.kif 10468-10468
s__externalImage(s__Attack,'"http://upload.wikimedia.org/wikipedia/commons/e/ee/ Wushu_dao.jpg"')	pictureList.kif 10469-10469
s__instance(s__Maneuver,s__SetOrClass) s__subclass(s__Attack,s__Maneuver) s__instance(s__Attack,s__SetOrClass)	Merge.kif 12421-12421	Attack is a subclass of maneuver

appearance as argument number 2

s__instance(s__BiochemicalAttack,s__SetOrClass) s__instance(s__Attack,s__SetOrClass) s__subclass(s__BiochemicalAttack,s__Attack)	WMD.kif 40-40	Biochemical attack is a subclass of attack
s__instance(s__CTNwInfraAttack,s__SetOrClass) s__instance(s__Attack,s__SetOrClass) s__subclass(s__CTNwInfraAttack,s__Attack)	MilitaryProcesses.kif 2035-2035	CT nw infra attack is a subclass of attack
s__instance(s__StandoffAttack,s__SetOrClass) s__instance(s__Attack,s__SetOrClass) s__subclass(s__StandoffAttack,s__Attack)	MilitaryProcesses.kif 437-437	Standoff attack is a subclass of attack
s__instance(s__TerroristAttack,s__SetOrClass) s__instance(s__Attack,s__SetOrClass) s__subclass(s__TerroristAttack,s__Attack)	MilitaryProcesses.kif 2096-2096	Terrorist attack is a subclass of attack
s__termFormat(s__ChineseLanguage,s__Attack,'"攻击"')	domainEnglishFormat.kif 8989-8989
s__termFormat(s__ChineseTraditionalLanguage,s__Attack,'"攻擊"')	domainEnglishFormat.kif 8988-8988
s__termFormat(s__EnglishLanguage,s__Attack,'"attack"')	domainEnglishFormat.kif 8987-8987

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12432-12441	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 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
( ! [V__ATTACK] : (s__instance(V__ATTACK,s__Attack) => ( ? [V__CONTEST] : ((s__instance(V__CONTEST,s__ViolentContest) & s__subProcess(V__ATTACK,V__CONTEST)))) ) )	Merge.kif 12425-12430	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19555-19567	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 purpose there exists an entity such that the entity is an instance of attack and the agent is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	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
( ! [V__CONTEST,V__MANEUVER] : ((s__instance(V__MANEUVER,s__Maneuver) & s__instance(V__CONTEST,s__ViolentContest) & s__subProcess(V__MANEUVER,V__CONTEST)) => (s__instance(V__MANEUVER,s__Attack) \| s__instance(V__MANEUVER,s__DefensiveManeuver)) ) )	Merge.kif 12465-12472	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
( ! [V__OBJ,V__PSR] : ((s__instance(V__PSR,s__PoststrikeReconnaissance) & s__patient(V__PSR,V__OBJ)) => ( ? [V__ATTACK] : ((s__instance(V__ATTACK,s__Attack) & s__patient(V__ATTACK,V__OBJ) & s__earlier(s__WhenFn(V__ATTACK) ,s__WhenFn(V__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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16273-16287	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
( ! [V__AGENT,V__RbF] : (s__instance(V__AGENT,s__Agent) => (s__instance(V__RbF,s__ReconnaissanceByFire) & s__agent(V__RbF,V__AGENT)) => ( ? [V__ATTACK, V__HOSTILE] : ((s__patient(V__RbF,V__HOSTILE) & s__subProcess(V__ATTACK,V__RbF) & s__instance(V__ATTACK,s__Attack) & s__agent(V__ATTACK,V__AGENT) & s__patient(V__ATTACK,V__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
No TPTP formula. May not be expressible in strict first order.	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 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1935-1941	If a physical is an instance of A h1, then the physical purpose there exists an entity such that the entity is an instance of attack and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Military.kif 164-172	If a physical is an instance of fighter, then the physical 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners