TreeView Knowledge Base Browser - Weapon

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Weapon

Weapon(weapon)

.22, ABM, BAR, BB_gun, BLU-82, Big_Blue, Bofors_gun, Bowie_knife, Bren, Bren_gun, Browning_automatic_rifle, Colt, Cupid's_bow, Exocet, Gatling_gun, ICBM, Kalashnikov, Lochaber_ax, Luger, MANPAD, Mauser, Minuteman, SAM, Spandau, Sten_gun, Stinger, V-1, aerial_torpedo, air-to-air, air-to-ground, air-to-surface, anti-submarine_rocket, antiaircraft, antiballistic_missile, antipersonnel, antisubmarine, antitank, arbalest, arbalist, arm, armament, armed, armory, armoury, arms, arquebus, arrowhead, arsenal, artillery, assault_gun...

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 15742-15744
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1304-1304
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15741-15741	Weapon is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3665-3665	Furniture is disjoint from weapon
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 653-653	Anti armor weapon is a subclass of weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21281-21281	Bomb is a subclass of weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17249-17249	Explosive mine is a subclass of weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1117-1117	Gun is a subclass of weapon
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 632-632	High precision weapon is a subclass of weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21512-21512	Mortar is a subclass of weapon
No TPTP formula. May not be expressible in strict first order.	WMD.kif 131-131	Nuclear weapon is a subclass of weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1070-1070	Projectile is a subclass of weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1088-1088	Projectile launcher is a subclass of weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1104-1104	Spear is a subclass of weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1108-1108	Sword is a subclass of weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1404-1404	Weapon of mass destruction is a subclass of weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1112-1112	Whip is a subclass of weapon
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

appearance as argument number 3

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

MilitaryDevices.kif 24-24

The number 2 argument of weapon carrying capability is a subclass of weapon

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 61-66	If an object is an instance of weapon and the object is a part of another object and the other object is an instance of vehicle, then the other object is an instance of military vehicle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15746-15748	If an object is an instance of weapon, then the object is capable of doing damaging as a instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15750-15757	If a physical is an instance of weapon, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of damaging and the physical is an instrument for the entity and the other entity is a patient of the entity

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	If an object is capable of doing a kind of process as a a case role and a kind of process is a subclass of shooting, then there exists another object such that the other object is an instance of weapon and the other object is a part of the object and the other object is capable of doing the kind of process as a the case role
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1355-1361	If a physical is an instance of CS gas, then the physical has the purpose there exists an entity such that the entity is an instance of weapon and the physical is a part of the entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 707-718	If a process is an instance of delivering weapon of mass destruction, then there exist another process, an entity and another entity such that the other process is an instance of putting and the other process is a subprocess of the process and the entity is an instance of weapon of mass destruction and the other entity is an instance of weapon and the other entity is not an instance of weapon of mass destruction and the entity is a patient of the other process and the other process ends up at the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1427-1447	If a physical is an instance of shield, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of Protecting and the physical is an instrument for the entity and the other entity is an instance of human and the other entity is a patient of the entity and the entity prevents the occurrence of the class described by a third entity

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