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 2412-2412 The range of aborted mission is an instance of military operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2342-2342 Civil affairs activity is a subclass of military operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2150-2150 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 1886-1886 Foreign internal defense is a subclass of military operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1831-1831 Information operation is a subclass of military operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1697-1697 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 1502-1502 Operation planning is a subclass of military operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1104-1104 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 37597-37597 "军事行动" is the printable form of military operation in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37596-37596 "軍事行動" is the printable form of military operation in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37595-37595 "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 2411-2411 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 1314-1314 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 1325-1330
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1775-1781
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1659-1664
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1554-1561
No TPTP formula. May not be expressible in strict first order. Military.kif 25-30