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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DevelopingWeaponOfMassDestruction

Sigma KEE - DevelopingWeaponOfMassDestruction
DevelopingWeaponOfMassDestruction(developing weapon of mass destruction)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 687-688
No TPTP formula. May not be expressible in strict first order. WMD.kif 686-686 Developing weapon of mass destruction is a subclass of making

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 697-697 Stockpiling weapon of mass destruction is a subclass of developing weapon of mass destruction
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19320-19320
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19319-19319
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19318-19318

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 690-694
No TPTP formula. May not be expressible in strict first order. WMD.kif 654-660

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 750-758
No TPTP formula. May not be expressible in strict first order. WMD.kif 630-635


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