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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WeaponOfMassDestruction
WeaponOfMassDestruction

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1443-1445
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1310-1310
No TPTP formula. May not be expressible in strict first order. WMD.kif 673-673 O conceito WeaponOfMassDestruction e' completamente decomposto em RadioactiveWeapon + BiochemicalWeapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1442-1442 WeaponOfMassDestruction e' uma sub-classe de Arma

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 103-103 BiochemicalWeapon e' uma sub-classe de WeaponOfMassDestruction
No TPTP formula. May not be expressible in strict first order. WMD.kif 117-117 RadioactiveWeapon e' uma sub-classe de WeaponOfMassDestruction
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62579-62579
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62578-62578
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62577-62577

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 44-49

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 680-684
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 735-739
No TPTP formula. May not be expressible in strict first order. WMD.kif 707-718
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1451-1457
No TPTP formula. May not be expressible in strict first order. WMD.kif 724-729


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