TreeView Knowledge Base Browser - WeaponOfMassDestruction

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

WeaponOfMassDestruction

Sigma KEE - WeaponOfMassDestruction

WeaponOfMassDestruction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1450-1452
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 1449-1449	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 62577-62577
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62576-62576
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62575-62575

antecedent

No TPTP formula. May not be expressible in strict first order.

WMD.kif 44-49

Objeto e' uma instancia de WeaponOfMassDestruction Objeto e' um instrumento para Processo Processo e' uma instancia de BiochemicalAttack
Objeto e' uma instancia de BiochemicalWeapon

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 680-684	Processo e' uma instancia de DeployingWeaponOfMassDestruction Entidade e' um patient de Processo Entidade e' uma instancia de WeaponOfMassDestruction
No TPTP formula. May not be expressible in strict first order.	WMD.kif 690-694	Processo e' uma instancia de DevelopingWeaponOfMassDestruction Entidade e' o resultado de Processo Entidade e' uma instancia de WeaponOfMassDestruction
No TPTP formula. May not be expressible in strict first order.	WMD.kif 735-739	Processo e' uma instancia de DismantlingWeaponOfMassDestruction Entidade e' um patient de Processo Entidade e' uma instancia de WeaponOfMassDestruction
No TPTP formula. May not be expressible in strict first order.	WMD.kif 707-718	Processo e' uma instancia de DeliveringWeaponOfMassDestruction Processo Entidade and Entidade Processo e' uma instancia de Colocar Processo e' um sub-processo de Processo Entidade e' uma instancia de WeaponOfMassDestruction Entidade e' uma instancia de Arma Entidade e' uma instancia de WeaponOfMassDestruction Entidade e' um patient de Processo Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1451-1457	Entidade e' uma instancia de ProliferationWMD Processo Entidade Processo e' uma instancia de Proliferation Processo termina em Entidade Entidade e' uma instancia de WeaponOfMassDestruction
No TPTP formula. May not be expressible in strict first order.	WMD.kif 724-729	Entidade e' uma instancia de ResearchingWeaponOfMassDestruction Entidade Entidade e' uma instancia de WeaponOfMassDestruction Entidade inclui uma referencia a Entidade

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