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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryOperation
MilitaryOperation(军事行动)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 19-21
No TPTP formula. May not be expressible in strict first order. Military.kif 23-23 军事行动 是 军事过程 的 subclass

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2432-2432 任务中止 的 range 是 军事行动 的实例
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2362-2362 民政活动 是 军事行动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2168-2168 反操作 是 军事行动 的 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. Military.kif 49-49 食品配送业务 是 军事行动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1905-1905 外国内部防御 是 军事行动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1850-1850 信息操作 是 军事行动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1716-1716 联合行动 是 军事行动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 422-422 军事攻击 是 军事行动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1521-1521 运营计划 是 军事行动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1105-1105 心理操作 是 军事行动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 673-673 ReconnaissanceOperation 是 军事行动 的 subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 80-80 安全行动 是 军事行动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 272-272 特别行动 是 军事行动 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37673-37673
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37672-37672
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37671-37671

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2431-2431 任务中止 的 2 数量 是 军事行动 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1315-1315 经营范围 的 2 数量 是 军事行动 的 instance

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1326-1331
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1794-1800
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1678-1683
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1573-1580
No TPTP formula. May not be expressible in strict first order. Military.kif 25-30

consequent
-------------------------


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


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