TreeView Knowledge Base Browser - Bomb

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Bomb

Sigma KEE - Bomb

Bomb

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21825-21825
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 21824-21824	Bomb e' uma sub-classe de ExplosiveDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21823-21823	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 21866-21866	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 17728-17733	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 21827-21832	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 21839-21847	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 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