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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GuerrillaWarfare

 Sigma KEE - GuerrillaWarfare
GuerrillaWarfare(guerrilla warfare)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 186-192
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6601-6601
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7029-7029
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7030-7030
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7031-7031
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7033-7033
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 185-185 Guerrilla warfare is a subclass of unconventional warfare

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26946-26946
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26945-26945
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26944-26944

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 204-208


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