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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CounterOperation

 Sigma KEE - CounterOperation
CounterOperation(反操作)

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2169-2170
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9130-9130
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9129-9129
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2168-2168 子類 反操作 and 軍事行動

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2186-2186 子類 反偵察 and 反操作
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1996-1996 子類 反恐 and 反操作
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1459-1459 子類 反擴散 and 反操作
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17550-17550
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17549-17549
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17548-17548

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2174-2184


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