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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnconventionalWarfare

 Sigma KEE - UnconventionalWarfare
UnconventionalWarfare(非常規戰爭)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 133-158
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 132-132 子類 非常規戰爭 and 幫助
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 131-131 子類 非常規戰爭 and 特別行動

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 249-249 子類 滲出 and 非常規戰爭
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 185-185 子類 游擊戰 and 非常規戰爭
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 230-230 子類 情報活動 and 非常規戰爭
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 219-219 子類 破壞 and 非常規戰爭
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 210-210 子類 顛覆 and 非常規戰爭
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 239-239 子類 非常規輔助恢復 and 非常規戰爭
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59870-59870
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59869-59869
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59868-59868

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 163-183


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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