Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilitaryOperation

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 2431-2431 The range of aborted mission is an instance of military operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2361-2361 Civil affairs activity is a subclass of military operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2169-2169 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 37662-37662
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37661-37661
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37660-37660

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2430-2430 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