Weapon - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Weapon

Weapon

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 14842-14844
(externalImage Weapon "http://upload.wikimedia.org/wikipedia/en/thumb/8/ 8e/ Marlin1894C.jpg/ 250px-Marlin1894C.jpg")	pictureList.kif 1304-1304
(subclass Weapon Device)	Merge.kif 14841-14841	subclass Weapon and Device

appearance as argument number 2

(disjoint Furniture Weapon)	Mid-level-ontology.kif 4250-4250	disjoint Furniture and Weapon
(subclass AntiArmorWeapon Weapon)	MilitaryDevices.kif 653-653	subclass AntiArmorWeapon and Weapon
(subclass Bomb Weapon)	Mid-level-ontology.kif 19675-19675	subclass Bomb and Weapon
(subclass ExplosiveMine Weapon)	Mid-level-ontology.kif 15562-15562	subclass ExplosiveMine and Weapon
(subclass Gun Weapon)	Mid-level-ontology.kif 1550-1550	subclass Gun and Weapon
(subclass HighPrecisionWeapon Weapon)	MilitaryProcesses.kif 632-632	subclass HighPrecisionWeapon and Weapon
(subclass Mortar Weapon)	Mid-level-ontology.kif 19904-19904	subclass Mortar and Weapon
(subclass NuclearWeapon Weapon)	WMD.kif 130-130	subclass NuclearWeapon and Weapon
(subclass Projectile Weapon)	Mid-level-ontology.kif 1498-1498	subclass Projectile and Weapon
(subclass ProjectileLauncher Weapon)	Mid-level-ontology.kif 1521-1521	subclass ProjectileLauncher and Weapon
(subclass Spear Weapon)	Mid-level-ontology.kif 1537-1537	subclass Spear and Weapon
(subclass Sword Weapon)	Mid-level-ontology.kif 1541-1541	subclass Sword and Weapon
(subclass WeaponOfMassDestruction Weapon)	Mid-level-ontology.kif 1826-1826	subclass WeaponOfMassDestruction and Weapon
(subclass Whip Weapon)	Mid-level-ontology.kif 1545-1545	subclass Whip and Weapon
(termFormat ChineseLanguage Weapon "武器")	chinese_format.kif 1059-1059
(termFormat EnglishLanguage Weapon "weapon")	english_format.kif 1334-1334

appearance as argument number 3

(domainSubclass weaponCarryingCapability 2 Weapon)

MilitaryDevices.kif 24-24

domainSubclass weaponCarryingCapability, 2 and Weapon

antecedent

(=> (and (instance ?WEAPON Weapon) (part ?WEAPON ?MV) (instance ?MV Vehicle)) (instance ?MV MilitaryVehicle))	MilitaryDevices.kif 61-66	instance Object and Weapon part Object and Object instance Object and Vehicle instance Object and MilitaryVehicle
(=> (instance ?WEAPON Weapon) (capability Damaging instrument ?WEAPON))	Merge.kif 14846-14848	instance Object and Weapon capability Damaging, instrument and Object
(=> (instance ?WEAPON Weapon) (hasPurpose ?WEAPON (exists (?D ?PATIENT) (and (instance ?D Damaging) (instrument ?D ?WEAPON) (patient ?D ?PATIENT)))))	Merge.kif 14850-14857	instance Physical and Weapon hasPurpose Physical and entity entity instance entity and Damaging instrument entity and Physical patient entity and 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	capability Process, CaseRole and Object subclass Process and Shooting Object instance Object and Weapon part Object and Object capability Process, CaseRole and Object
(=> (instance ?C CSGas) (hasPurpose ?C (exists (?W) (and (instance ?W Weapon) (part ?C ?W)))))	MilitaryDevices.kif 1355-1361	instance Physical and CSGas hasPurpose Physical and entity instance entity and Weapon part Physical and 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 702-713	instance Process and DeliveringWeaponOfMassDestruction Process Entity and Entity instance Process and Putting subProcess Process and Process instance Entity and WeaponOfMassDestruction instance Entity and Weapon instance Entity and WeaponOfMassDestruction patient Process and Entity destination Process and Entity
(=> (instance ?S Shield) (hasPurpose ?S (exists (?P ?H) (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 1873-1893	instance Physical and Shield hasPurpose Physical and entity entity instance entity and Protecting instrument entity and Physical instance entity and Human patient entity and entity prevents entity and KappaFn entity and instance entity and Injuring entity instance entity and Weapon instrument entity and entity patient entity and entity patient entity and entity

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners