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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OffensiveInformationOperation
OffensiveInformationOperation(offensive information operation)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1892-1903
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11526-11526
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11530-11530
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11525-11525
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11529-11529
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11527-11527
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11528-11528
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1890-1890 Offensive information operation is a subclass of information operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1891-1891 Offensive information operation is a subclass of investigating

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2045-2045 CT intelligence operation is a subclass of offensive information operation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41656-41656
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41655-41655
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41654-41654


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



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