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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PsychologicalOperation

Sigma KEE - PsychologicalOperation
PsychologicalOperation(psychological operation)psychological_operation, psyop

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1106-1178
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1105-1105 Psychological operation is a subclass of military operation

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2070-2070 CT non kinetic activity is a subclass of psychological operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1196-1196 Develop programs is a subclass of psychological operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1217-1217 Disseminate products is a subclass of psychological operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1210-1210 Distribute products is a subclass of psychological operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1224-1224 Produce studies is a subclass of psychological operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1255-1255 SupportCI is a subclass of psychological operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1271-1271 SupportDC is a subclass of psychological operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1240-1240 SupportEPW is a subclass of psychological operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1286-1286 SupportHN assistance is a subclass of psychological operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1333-1333 SupportIO is a subclass of psychological operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1305-1305 TacticalPSYOP is a subclass of psychological operation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47924-47924
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47923-47923
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47922-47922

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1184-1194


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