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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnconventionalWarfare

Sigma KEE - UnconventionalWarfare
UnconventionalWarfare(unconventional warfare)

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 Unconventional warfare is a subclass of helping
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 131-131 Unconventional warfare is a subclass of special operation

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 249-249 Exfiltration is a subclass of unconventional warfare
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 185-185 Guerrilla warfare is a subclass of unconventional warfare
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 230-230 Intelligence activities is a subclass of unconventional warfare
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 219-219 Sabotage is a subclass of unconventional warfare
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 210-210 Subversion is a subclass of unconventional warfare
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 239-239 Unconventional assisted recovery is a subclass of unconventional warfare
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