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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PsychologicalOperation

 Sigma KEE - PsychologicalOperation
PsychologicalOperation(心理操作)

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 心理操作 是 军事行动 的 subclass

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2070-2070 CT非动力活动 是 心理操作 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1196-1196 制定计划 是 心理操作 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1217-1217 传播产品 是 心理操作 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1210-1210 分发产品 是 心理操作 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1224-1224 进行研究 是 心理操作 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1255-1255 支持CI 是 心理操作 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1271-1271 SupportDC 是 心理操作 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1240-1240 SupportEPW 是 心理操作 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1286-1286 支持HW 协助 是 心理操作 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1333-1333 支持IO 是 心理操作 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1305-1305 战术PSYO 是 心理操作 的 subclass
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