Bomb - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Bomb

Bomb

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21824-21824
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 279-279
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21823-21823	Bomb e' uma sub-classe de ExplosiveDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21822-21822	Bomb e' uma sub-classe de Arma

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2101-2101	initialPart Shrapnel and Bomb
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21865-21865	HandGrenade e' uma sub-classe de Bomb
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6072-6072	IED e' uma sub-classe de Bomb
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1249-1249	MolotovCocktail e' uma sub-classe de Bomb
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11567-11567
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11566-11566
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11565-11565

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17727-17732	Objeto e' uma instancia de Missile Objeto Objeto e' uma instancia de Bomb Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2103-2118	Entidade e' uma instancia de Shrapnel Objeto Processo Objeto e' uma instancia de Bomb Processo e' uma instancia de Explosion Objeto e' um instrumento para Processo Entidade e' uma &parte de Objeto vale durante imediatemente antes de tempo de existencia de Processo Entidade e' uma &parte de Objeto vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21826-21831	Processo e' uma instancia de Bombing Objeto Objeto e' uma instancia de Bomb Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21838-21846	Processo e' uma instancia de CarBombing Objeto Objeto Objeto e' uma instancia de Bomb Objeto e' uma instancia de Veiculo de Transporte Objeto e' um instrumento para Processo Objeto e' um instrumento para Processo Objeto e' conectado com Objeto

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