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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DirectActionActivity

 Sigma KEE - DirectActionActivity
DirectActionActivity(直接行动活动)

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 391-392
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 390-390 直接行动活动 是 竞争招数 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 388-388 直接行动活动 是 军事行动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 389-389 直接行动活动 是 暴力比赛 的 subclass

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 656-656 防表面操作 是 直接行动活动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 410-410 直接埋伏 是 直接行动活动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 426-426 直接攻击 是 直接行动活动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 589-589 精确破坏 是 直接行动活动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 400-400 袭击 是 直接行动活动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 549-549 恢复运作 是 直接行动活动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 436-436 对峙的攻击 是 直接行动活动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 448-448 终端攻击控制 是 直接行动活动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 500-500 终端指导 是 直接行动活动 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19650-19650
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19649-19649
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19648-19648

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 393-398


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