Attack - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3304-3305
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13538-13539
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10447-10447
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9893-9893
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10445-10445
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10446-10446
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13537-13537	Attack is a subclass of maneuver

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 40-40	Biochemical attack is a subclass of attack
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2053-2053	CT nw infra attack is a subclass of attack
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 437-437	Standoff attack is a subclass of attack
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2114-2114	Terrorist attack is a subclass of attack
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8977-8977	Terrorist attack is a subclass of attack
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8976-8976	Terrorist attack is a subclass of attack
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8975-8975	Terrorist attack is a subclass of attack

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

MilitaryProcesses.kif 2788-2788

The number 1 argument of target is an instance of attack

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13548-13557	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13541-13546	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 23399-23411	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
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
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2832-2846	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13581-13588	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
No TPTP formula. May not be expressible in strict first order.	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 20171-20185	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
No TPTP formula. May not be expressible in strict first order.	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 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
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 2092-2098	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
No TPTP formula. May not be expressible in strict first order.	Military.kif 241-249	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
No TPTP formula. May not be expressible in strict first order.	Military.kif 169-177	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

KB Term:			Term intersection

English Word: