| 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 16221-16221 | 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 16222-16224 | 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 |
|
|
| 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 16226-16228 | 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 16230-16237 | 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 1707-1727 | 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 130-138 | 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 2815-2823 | 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 707-718 | 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 |
|
|
|