TreeView Knowledge Base Browser - ExplosiveDevice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ExplosiveDevice

Sigma KEE - ExplosiveDevice

ExplosiveDevice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17842-17844
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1104-1104
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17841-17841	ExplosiveDevice e' uma sub-classe de Aparelho

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21824-21824	Bomb e' uma sub-classe de ExplosiveDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17856-17856	ExplosiveMine e' uma sub-classe de ExplosiveDevice
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 191-191	Grenade e' uma sub-classe de ExplosiveDevice
No TPTP formula. May not be expressible in strict first order.	WMD.kif 130-130	NuclearWeapon e' uma sub-classe de ExplosiveDevice
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22852-22852
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22851-22851
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22850-22850

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17869-17874	Objeto e' uma instancia de ExplosiveDevice Objeto Objeto e' uma instancia de ExplosiveSubstance Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17846-17854	Fisico e' uma instancia de ExplosiveDevice Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Explosion Fisico e' um instrumento para Entidade Entidade causa Entidade Entidade e' uma instancia de Causar Dano

consequent

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

Military.kif 177-185

Fisico e' uma instancia de Bomber
Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Transporte Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de ExplosiveDevice

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