TreeView Knowledge Base Browser - AutomaticGun

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AutomaticGun

AutomaticGun

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1567-1568
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4517-4517
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1566-1566	AutomaticGun e' uma sub-classe de Gun

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 927-927	GatlingGun e' uma sub-classe de AutomaticGun
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 450-450	HeavyMachineGun e' uma sub-classe de AutomaticGun
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 358-358	M240 e' uma sub-classe de AutomaticGun
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 410-410	M60 e' uma sub-classe de AutomaticGun
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9180-9180
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9179-9179
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9178-9178

antecedent

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

Mid-level-ontology.kif 1569-1584

Fisico e' uma instancia de AutomaticGun
Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Pulling Entidade e' uma instancia de GunTrigger Entidade e' um patient de Entidade Entidade e' uma &parte de Fisico Entidade e' uma instancia de Atirar Entidade e' uma instancia de Atirar Fisico e' um instrumento para Entidade Fisico e' um instrumento para Entidade Entidade e' igual a Entidade Entidade causa Entidade Entidade causa Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	Military.kif 676-685	AutonomousAgent e' uma instancia de InfantryUnit Objeto Objeto e' uma instancia de AutomaticGun Objeto e' uma instancia de Firearm Objeto e' uma instancia de MortarGun Objeto e' uma instancia de ExplosiveMine AutonomousAgent possui Objeto
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1589-1594	Objeto e' uma instancia de APC Objeto Objeto e' uma instancia de AutomaticGun Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1586-1597	Fisico e' uma instancia de GunTrigger Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de AutomaticGun Fisico e' uma &parte de Entidade Fisico e' um patient de Entidade Entidade e' uma instancia de Pulling Entidade e' uma instancia de Atirar Entidade e' um instrumento para Entidade Entidade causa 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