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
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1762-1768
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1646-1651
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1541-1548
No TPTP formula. May not be expressible in strict first order. Military.kif 25-30