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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 子類 心理操作 and 軍事行動

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2070-2070 子類 CT非動力活動 and 心理操作
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1196-1196 子類 制定計劃 and 心理操作
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1217-1217 子類 傳播產品 and 心理操作
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1210-1210 子類 分發產品 and 心理操作
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1224-1224 子類 進行研究 and 心理操作
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1255-1255 子類 支持CI and 心理操作
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1271-1271 子類 supportDC and 心理操作
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1240-1240 子類 supportEPW and 心理操作
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1286-1286 子類 支持HW 協助 and 心理操作
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1333-1333 子類 支持IO and 心理操作
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1305-1305 子類 戰術PSYO and 心理操作
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 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