Weapon - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3632-3633
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16096-16098
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1303-1303
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16095-16095	Arma e' uma sub-classe de Aparelho

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3706-3706	Furniture e' disjunto de Arma
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 653-653	AntiArmorWeapon e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21875-21875	Bomb e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17884-17884	ExplosiveMine e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1153-1153	Gun e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 632-632	HighPrecisionWeapon e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22107-22107	Mortar e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order.	WMD.kif 131-131	NuclearWeapon e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1106-1106	Projectile e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1124-1124	ProjectileLauncher e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1140-1140	Spear e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1144-1144	Sword e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1442-1442	WeaponOfMassDestruction e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1148-1148	Whip e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1059-1059
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1329-1329
No TPTP formula. May not be expressible in strict first order.	french_format.kif 737-737
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 268-268
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 271-271
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2421-2421
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 689-689
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 273-273
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 307-307
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 758-758

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

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

MilitaryDevices.kif 24-24

O argumento numero 2 de weaponCarryingCapability e' uma sub-classe de Arma

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 61-66	Objeto e' uma instancia de Arma Objeto e' uma &parte de Objeto Objeto e' uma instancia de Vehicle Objeto e' uma instancia de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16100-16102	Objeto e' uma instancia de Arma Objeto e' capaz de fazer Causar Dano no role instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16104-16111	Fisico e' uma instancia de Arma Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Causar Dano Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	Objeto e' capaz de fazer Processo no role Role em Caso Processo e' uma sub-classe de Atirar Objeto Objeto e' uma instancia de Arma Objeto e' uma &parte de Objeto Objeto e' capaz de fazer Processo no role Role em Caso
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1355-1361	Fisico e' uma instancia de CSGas Fisico tem por fim Entidade Entidade e' uma instancia de Arma Fisico e' uma &parte de Entidade
No TPTP formula. May not be expressible in strict first order.	WMD.kif 707-718	Processo e' uma instancia de DeliveringWeaponOfMassDestruction Processo Entidade and Entidade Processo e' uma instancia de Colocar Processo e' um sub-processo de Processo Entidade e' uma instancia de WeaponOfMassDestruction Entidade e' uma instancia de Arma Entidade e' uma instancia de WeaponOfMassDestruction Entidade e' um patient de Processo Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1465-1485	Fisico e' uma instancia de Shield Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Protecting Fisico e' um instrumento para Entidade Entidade e' uma instancia de Humano Entidade e' um patient de Entidade Entidade proibe a ocurrencia de a classe descrita por Entidade

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

KB Term:			Term intersection

English Word: