TreeView Knowledge Base Browser - Projectile

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Projectile

Projectile

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1107-1108
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 678-678
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1106-1106	Projectile 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 1662-1662	ArrowProjectile e' uma sub-classe de Projectile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1175-1175	Bullet e' uma sub-classe de Projectile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1187-1187	BulletCartridge e' uma sub-classe de Projectile
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 190-190	Grenade e' uma sub-classe de Projectile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17750-17750	Missile e' uma sub-classe de Projectile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22126-22126	Rocket e' uma sub-classe de Projectile
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47662-47662
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47661-47661
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47660-47660

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1228-1240	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.	MilitaryDevices.kif 233-245	Fisico e' uma instancia de Projectile caliber Gun and Medida de Comprimento Objeto e' uma instancia de Gun a largura de Fisico e' Medida de Comprimento1 Medida de Comprimento e' igual a Medida de Comprimento1 Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 250-262	Fisico e' uma instancia de Projectile caliber Gun and Medida de Comprimento Fisico e' uma instancia de Gun a largura de Fisico e' Medida de Comprimento1 Medida de Comprimento e' igual a Medida de Comprimento1 Fisico tem por fim Entidade Entidade e' uma instancia de Atirar Fisico e' um patient de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 219-228	Processo e' uma instancia de Atirar Objeto e' um instrumento para Processo Fisico e' um patient de Processo a largura de Fisico e' Medida de Comprimento Objeto e' uma instancia de ObjetoCLASS Fisico e' uma instancia de Projectile caliber ObjetoCLASS and Medida de Comprimento Medida de Comprimento e' igual a Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1110-1112	Objeto e' uma instancia de Projectile Objeto e' capaz de fazer Atirar no role patient

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1365-1369	Processo e' uma instancia de LoadingWeapon Entidade e' um patient de Processo Entidade e' uma instancia de Projectile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1131-1138	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 ProjectileLauncher Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1162-1169	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

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