TreeView 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	Arme est une sous-classe de appareil

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3706-3706	Furniture est disjoint de arme
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 653-653	AntiArmorWeapon est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21875-21875	Bomb est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17884-17884	ExplosiveMine est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1153-1153	Gun est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 632-632	HighPrecisionWeapon est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22107-22107	Mortar est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order.	WMD.kif 131-131	NuclearWeapon est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1106-1106	Projectile est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1124-1124	ProjectileLauncher est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1140-1140	Spear est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1144-1144	Sword est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1442-1442	WeaponOfMassDestruction est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1148-1148	Whip est une sous-classe de arme
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

Le nombre 2 argument de weaponCarryingCapability est une sous-classe de arme

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 61-66	Objet est une instance de arme objet est une partie de objet objet est une instance de Vehicle objet est une instance de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16100-16102	Objet est une instance de arme objet est capable de faire endommager dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16104-16111	Physique est une instance de arme physique a pour but entit� entit� entit� est une instance de endommager physique est un instrument pour entit� entit� est un patient de entit�

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	Objet est capable de faire processus dans le r�le r�le d�pendant du cas processus est une sous-classe de tirer objet objet est une instance de arme objet est une partie de objet objet est capable de faire processus dans le r�le r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1355-1361	Physique est une instance de CSGas physique a pour but entit� entit� est une instance de arme physique est une partie de entit�
No TPTP formula. May not be expressible in strict first order.	WMD.kif 707-718	Processus est une instance de DeliveringWeaponOfMassDestruction processus entit� and entit� processus est une instance de mettre processus est un sous-processus de processus entit� est une instance de WeaponOfMassDestruction entit� est une instance de arme entit� est une instance de WeaponOfMassDestruction entit� est un patient de processus processus aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1465-1485	Physique est une instance de Shield physique a pour but entit� entit� and entit� entit� est une instance de Protecting physique est un instrument pour entit� entit� est une instance de humain entit� est un patient de entit� entit� previent l'occurrence de la classe d�crite par entit�

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: