TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1163-1163
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 106-106
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1162-1162	O conceito Gun e' completamente decomposto em ArtilleryGun + Firearm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1161-1161	Gun e' uma sub-classe de ProjectileLauncher
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1160-1160	Gun e' uma sub-classe de Arma

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1599-1599	ArtilleryGun e' uma sub-classe de Gun
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1566-1566	AutomaticGun e' uma sub-classe de Gun
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1603-1603	Firearm e' uma sub-classe de Gun
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27078-27078
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27077-27077
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27076-27076
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1365-1365	typicalPart GunTrigger and Gun
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1366-1366	typicallyContainsPart GunTrigger and Gun

appearance as argument number 3

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

MilitaryDevices.kif 211-211

O argumento numero 1 de caliber e' uma sub-classe de Gun

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1235-1247	Objeto e' uma instancia de Gun Objeto e' uma instancia de GunBarrel Objeto e' uma &parte de Objeto Processo e' uma instancia de Atirar Objeto e' um instrumento para Processo Entidade e' um patient de Processo Entidade e' uma instancia de Projectile ProcessoUB ProcessoUB e' um sub-processo de Processo Objeto e' o caminho ao longo do qual ProcessoUB ocorre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1417-1436	Aparelho e' uma instancia de Gun Unidade de Medida e' uma instancia de UnitOfLength effectiveRange Aparelho and Numero Real Unidade de Medida(s) a distancia entre Aparelho e Objeto e' Numero Real1 Unidade de Medida(s) Objeto e' uma instancia de Organismo Objeto2 Objeto2 esta' entre Objeto e Aparelho Numero Real1 e' menor ou igual a Numero Real Sequencia Simbolica Aparelho e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1395-1413	Aparelho e' uma instancia de Gun Unidade de Medida e' uma instancia de UnitOfLength effectiveRange Aparelho and Numero Real Unidade de Medida(s) a distancia entre Aparelho e Objeto e' Numero Real1 Unidade de Medida(s) Objeto2 Objeto2 esta' entre Objeto e Aparelho Numero Real1 e' menor ou igual a Numero Real Sequencia Simbolica Aparelho e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1165-1167	Objeto e' uma instancia de Gun Objeto e' capaz de fazer Atirar no role instrument

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1184-1192	Fisico e' uma instancia de Bullet Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Atirar Entidade e' um instrumento para Entidade Entidade e' uma instancia de Gun Fisico e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1228-1233	Objeto e' uma instancia de GunBarrel Objeto Objeto e' uma instancia de Gun Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1169-1176	Processo e' uma instancia de Atirar Entidade Objeto Entidade e' uma instancia de Projectile Entidade e' um patient de Processo Objeto e' uma instancia de Gun Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1442-1447	Objeto e' uma instancia de GunStock Objeto Objeto e' uma instancia de Gun Objeto e' uma &parte de 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

KB Term:			Term intersection

English Word: