MilitaryOperation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MilitaryOperation

MilitaryOperation(military operation)

military_operation, operation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 19-21
No TPTP formula. May not be expressible in strict first order.	Military.kif 23-23	Military operation is a subclass of military process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2399-2399	The range of aborted mission is an instance of military operation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2329-2329	Civil affairs activity is a subclass of military operation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2137-2137	Counter operation is a subclass of military operation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 379-379	Direct action activity is a subclass of military operation
No TPTP formula. May not be expressible in strict first order.	Military.kif 49-49	Food distribution operation is a subclass of military operation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1873-1873	Foreign internal defense is a subclass of military operation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1818-1818	Information operation is a subclass of military operation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1684-1684	Joint operation is a subclass of military operation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 413-413	Military assault is a subclass of military operation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1489-1489	Operation planning is a subclass of military operation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1093-1093	Psychological operation is a subclass of military operation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 662-662	Reconnaissance operation is a subclass of military operation
No TPTP formula. May not be expressible in strict first order.	Military.kif 80-80	Security operation is a subclass of military operation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 263-263	Special operation is a subclass of military operation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6700-6700	"military operation" is the printable form of military operation in english language

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2398-2398	The number 2 argument of aborted mission is an instance of military operation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1303-1303	The number 2 argument of area of operation is an instance of military operation

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1314-1319	If a military operation is an instance of military operation and the military operation is located at 2 and a region is an instance of region, then the region is the operational area for the military operation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1762-1768	If an entity is an instance of OPLA n and the entity expresses a process and the process is an instance of military operation and the processSUB is a subprocess of the process, then the entity expresses the processSUB
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1646-1651	If a process is an instance of operation order and another process is an instance of military operation, then the process has purpose the process coordinates the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1541-1548	If a proposition is an instance of operation plan and a content bearing physical is an instance of content bearing object and the content bearing physical contains information the proposition and a process is an instance of military operation and the content bearing physical is a result of the process, then the proposition expresses the process
No TPTP formula. May not be expressible in strict first order.	Military.kif 25-30	If an entity is an instance of military operation, then there exists another entity such that the other entity is an instance of plan and the other entity expresses the entity

consequent

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

MilitaryProcesses.kif 1281-1291

If a process is an instance of supportHN assistance and an agent experiences the process and the agent is an instance of host nation,
then there exists another process such that the other process is an instance of military operation and the other process is an instance of helping and the agent experiences the other process and the other process is a patient of the process

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