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 2433-2433 The range of aborted mission is an instance of military operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2362-2362 Civil affairs activity is a subclass of military operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2168-2168 Counter operation is a subclass of military operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 388-388 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 1905-1905 Foreign internal defense is a subclass of military operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1850-1850 Information operation is a subclass of military operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1716-1716 Joint operation is a subclass of military operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 422-422 Military assault is a subclass of military operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1521-1521 Operation planning is a subclass of military operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1105-1105 Psychological operation is a subclass of military operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 673-673 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 272-272 Special operation is a subclass of military operation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37682-37682 Special operation is a subclass of military operation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37681-37681 Special operation is a subclass of military operation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37680-37680 Special operation is a subclass of military operation

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2432-2432 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 1315-1315 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 1326-1331
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1794-1800
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1678-1683
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1573-1580
No TPTP formula. May not be expressible in strict first order. Military.kif 25-30

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1293-1303
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2174-2184


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