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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RecoveryOperation

 Sigma KEE - RecoveryOperation
RecoveryOperation(恢复运作)

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 550-556
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 549-549 恢复运作 是 直接行动活动 的 subclass

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2061-2061 CT人质物资恢复 是 恢复运作 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1460-1460 反扩散 是 恢复运作 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 240-240 非常规辅助恢复 是 恢复运作 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48994-48994
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48993-48993
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48992-48992

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 558-570


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