TerminalAttackControl - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TerminalAttackControl

TerminalAttackControl(terminal attack control)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 451-463
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 449-449	Terminal attack control is a subclass of classifying
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 448-448	Terminal attack control is a subclass of direct action activity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 450-450	Terminal attack control is a subclass of stating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57536-57536
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57535-57535
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57534-57534

antecedent

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 468-478	If an entity_CTRL is an instance of terminal attack control, then the entity_CTRL has the purpose there exist another entity, a third entity,, , a fourth entity and the entityRGET such that the entityRGET is a target in attack of the third entity and the entityRGET is a patient of the entity_CTRL and the other entity is an agent of the entity_CTRL and the other entity knows the entityRGET is located at the fourth entity is a result of the entity_CTRL

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