Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Weapon

 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
-------------------------


(subclass Weapon Device) Merge.kif 16376-16376 Weapon is a subclass of device
(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 16377-16379 Weapon is a subclass of device
(externalImage Weapon "http://upload.wikimedia.org/wikipedia/en/thumb/8/ 8e/ Marlin1894C.jpg/ 250px_Marlin1894C.jpg") pictureList.kif 1303-1303 Weapon is a subclass of device

appearance as argument number 2
-------------------------


(subclass Bomb Weapon) Merge.kif 16394-16394 Bomb is a subclass of weapon
(subclass Projectile Weapon) Mid-level-ontology.kif 1103-1103 Projectile is a subclass of weapon
(subclass ProjectileLauncher Weapon) Mid-level-ontology.kif 1194-1194 Projectile launcher is a subclass of weapon
(subclass Spear Weapon) Mid-level-ontology.kif 1210-1210 Spear is a subclass of weapon
(subclass Sword Weapon) Mid-level-ontology.kif 1252-1252 Sword is a subclass of weapon
(subclass Whip Weapon) Mid-level-ontology.kif 1256-1256 Whip is a subclass of weapon
(subclass Gun Weapon) Mid-level-ontology.kif 1261-1261 Gun is a subclass of weapon
(subclass WeaponOfMassDestruction Weapon) Mid-level-ontology.kif 1716-1716 Weapon of mass destruction is a subclass of weapon
(disjoint Furniture Weapon) Mid-level-ontology.kif 4359-4359 Furniture is disjoint from weapon
(subclass Mortar Weapon) Mid-level-ontology.kif 24346-24346 Mortar is a subclass of weapon
(subclass AegisCombatSystem Weapon) Military.kif 453-453 Aegis combat system is a subclass of weapon
(subclass AntiArmorWeapon Weapon) MilitaryDevices.kif 810-810 Anti armor weapon is a subclass of weapon
(subclass HighPrecisionWeapon Weapon) MilitaryProcesses.kif 654-654 High precision weapon is a subclass of weapon
(termFormat EnglishLanguage Weapon "weapon") english_format.kif 1333-1333 High precision weapon is a subclass of weapon

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
-------------------------


(=>
    (instance ?WEAPON Weapon)
    (capability Damaging instrument ?WEAPON))		 Merge.kif 16381-16383 If X is an instance of weapon, then X 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 16385-16392 If X is an instance of weapon, then X has the purpose there exist Y, Z such that Y is an instance of damaging, X is an instrument for Y, and Z is a patient of Y
(=>
    (and
        (instance ?WEAPON Weapon)
        (part ?WEAPON ?MV)
        (instance ?MV Vehicle))
    (instance ?MV MilitaryVehicle))		 MilitaryDevices.kif 61-66 If X is an instance of weapon, X is a part of Y, and Y is an instance of vehicle, then Y is an instance of military vehicle

consequent
-------------------------


(=>
    (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 1758-1778 If X is an instance of shield, then X has the purpose there exist Y, Z, W such that Y is an instance of protecting, X is an instrument for Y, Z is an instance of human, Z is a patient of Y, and Y prevents the occurrence of the class described by W
(=>
    (instance ?P MilitaryPlatform)
    (hasPurpose ?P
        (exists (?C ?W ?S)
            (and
                (instance ?C Carrying)
                (instrument ?C ?P)
                (objectTransferred ?S ?W)
                (instance ?W Weapon)))))		 Military.kif 132-140 If X is an instance of military platform, then X has the purpose there exist Y, Z, W such that Y is an instance of carrying, X is an instrument for Y, the object transferred in W is Z, and Z is an instance of weapon
(=>
    (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 X is capable of doing Y as a Z and Y is a subclass of shooting, then there exists W such that W is an instance of weapon, W is a part of X, and W is capable of doing Y as a Z
(=>
    (instance ?C CSGas)
    (hasPurpose ?C
        (exists (?W)
            (and
                (instance ?W Weapon)
                (part ?C ?W)))))		 MilitaryDevices.kif 1512-1518 If X is an instance of CS gas, then X has the purpose there exists Y such that Y is an instance of weapon and X is a part of Y
(=>
    (target ?A ?O)
    (exists (?W ?P)
        (and
            (instance ?W Weapon)
            (instrument ?A ?W)
            (instance ?P Projectile)
            (patient ?A ?P)
            (destination ?A ?O))))		 MilitaryProcesses.kif 2833-2841 If X is the target of Y, then there exist Z, W such that Z is an instance of weapon, Z is an instrument for Y, W is an instance of projectile, W is a patient of Y, and Y ends up at X
(=>
    (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 If X is an instance of delivering weapon of mass destruction, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of putting (3) Y is a subprocess of X (4) Z is an instance of weapon of mass destruction (5) W is an instance of weapon (6) W is not an instance of weapon of mass destruction (7) Z is a patient of Y (8) Y ends up at W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners