Weapon - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Weapon ChineseLanguage "人们设计这个 Class 的 Device 主要是为了伤害或毁灭 Human/ Animal，StationaryArtifact 或 Human/ Animal 所居住的地方。")	chinese_format.kif 3632-3633
(documentation Weapon EnglishLanguage "The Class of Devices that are designed primarily to damage or destroy Humans/ Animals, StationaryArtifacts or the places inhabited by Humans/ Animals.")	Merge.kif 16121-16123
(externalImage Weapon "http://upload.wikimedia.org/wikipedia/en/thumb/8/ 8e/ Marlin1894C.jpg/ 250px_Marlin1894C.jpg")	pictureList.kif 1303-1303
(subclass Weapon Device)	Merge.kif 16120-16120	Weapon is a subclass of device

appearance as argument number 2

(disjoint Furniture Weapon)	Mid-level-ontology.kif 3779-3779	Furniture is disjoint from weapon
(subclass AntiArmorWeapon Weapon)	MilitaryDevices.kif 653-653	Anti armor weapon is a subclass of weapon
(subclass Bomb Weapon)	Mid-level-ontology.kif 22937-22937	Bomb is a subclass of weapon
(subclass ExplosiveMine Weapon)	Mid-level-ontology.kif 18946-18946	Explosive mine is a subclass of weapon
(subclass Gun Weapon)	Mid-level-ontology.kif 1153-1153	Gun is a subclass of weapon
(subclass HighPrecisionWeapon Weapon)	MilitaryProcesses.kif 632-632	High precision weapon is a subclass of weapon
(subclass Mortar Weapon)	Mid-level-ontology.kif 23169-23169	Mortar is a subclass of weapon
(subclass NuclearWeapon Weapon)	WMD.kif 131-131	Nuclear weapon is a subclass of weapon
(subclass Projectile Weapon)	Mid-level-ontology.kif 1106-1106	Projectile is a subclass of weapon
(subclass ProjectileLauncher Weapon)	Mid-level-ontology.kif 1124-1124	Projectile launcher is a subclass of weapon
(subclass Spear Weapon)	Mid-level-ontology.kif 1140-1140	Spear is a subclass of weapon
(subclass Sword Weapon)	Mid-level-ontology.kif 1144-1144	Sword is a subclass of weapon
(subclass WeaponOfMassDestruction Weapon)	Mid-level-ontology.kif 1442-1442	Weapon of mass destruction is a subclass of weapon
(subclass Whip Weapon)	Mid-level-ontology.kif 1148-1148	Whip is a subclass of weapon
(termFormat ChineseLanguage Weapon "武器")	chinese_format.kif 1059-1059	Whip is a subclass of weapon
(termFormat EnglishLanguage Weapon "weapon")	english_format.kif 1329-1329	Whip is a subclass of weapon
(termFormat FrenchLanguage Weapon "arme")	french_format.kif 737-737	Whip is a subclass of weapon
(termFormat Hindi Weapon "hathiyaara")	terms-hindi.txt 268-268	Whip is a subclass of weapon
(termFormat ItalianLanguage Weapon "Arma")	terms-it.txt 271-271	Whip is a subclass of weapon
(termFormat JapaneseLanguage Weapon "武器")	japanese_format.kif 2421-2421	Whip is a subclass of weapon
(termFormat PortugueseLanguage Weapon "Arma")	portuguese_format.kif 689-689	Whip is a subclass of weapon
(termFormat cb Weapon "hinagiban")	terms-cb.txt 273-273	Whip is a subclass of weapon
(termFormat cz Weapon "weapon")	terms-cz.txt 307-307	Whip is a subclass of weapon
(termFormat de Weapon "Waffe")	terms-de.txt 566-566	Whip is a subclass of weapon

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domainSubclass weaponCarryingCapability 2 Weapon)

MilitaryDevices.kif 24-24

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

antecedent

(=> (and (instance ?WEAPON Weapon) (part ?WEAPON ?MV) (instance ?MV Vehicle)) (instance ?MV MilitaryVehicle))	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
(=> (instance ?WEAPON Weapon) (capability Damaging instrument ?WEAPON))	Merge.kif 16125-16127	If an object is an instance of weapon, then the object is capable of doing damaging as a instrument
(=> (instance ?WEAPON Weapon) (hasPurpose ?WEAPON (exists (?D ?PATIENT) (and (instance ?D Damaging) (instrument ?D ?WEAPON) (patient ?D ?PATIENT)))))	Merge.kif 16129-16136	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

(=> (and (capability ?PC ?ROLE ?MV) (subclass ?PC Shooting)) (exists (?WEAPON) (and (instance ?WEAPON Weapon) (part ?WEAPON ?MV) (capability ?PC ?ROLE ?WEAPON))))	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
(=> (instance ?C CSGas) (hasPurpose ?C (exists (?W) (and (instance ?W Weapon) (part ?C ?W)))))	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
(=> (instance ?DELIVER DeliveringWeaponOfMassDestruction) (exists (?PUTTING ?WEAPON1 ?WEAPON2) (and (instance ?PUTTING Putting) (subProcess ?PUTTING ?DELIVER) (instance ?WEAPON1 WeaponOfMassDestruction) (instance ?WEAPON2 Weapon) (not (instance ?WEAPON2 WeaponOfMassDestruction)) (patient ?PUTTING ?WEAPON1) (destination ?PUTTING ?WEAPON2))))	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
(=> (instance ?S Shield) (hasPurpose ?S (exists (?P ?H ?I) (and (instance ?P Protecting) (instrument ?P ?S) (instance ?H Human) (patient ?P ?H) (prevents ?P (KappaFn ?I (and (instance ?I Injuring) (exists (?W) (and (instance ?W Weapon) (instrument ?I ?W))) (=> (patient ?I ?H) (not (patient ?P ?H))))))))))	Mid-level-ontology.kif 1465-1485	If a physical is an instance of shield, then the physical has the purpose there exist an entity, another entity and a third 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 the third entity
(=> (target ?A ?O) (exists (?W ?P) (and (instance ?W Weapon) (instrument ?A ?W) (instance ?P Projectile) (patient ?A ?P) (destination ?A ?O))))	MilitaryProcesses.kif 2789-2797	If an object is the target of an attack, then there exist another object and an entity such that the other object is an instance of weapon and the other object is an instrument for the attack and the entity is an instance of projectile and the entity is a patient of the attack and the attack ends up at the object

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: