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 |
![]() |
(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 14902-14904 | |
(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 14901-14901 | 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 |
![]() |
(=> (and (instance ?WEAPON Weapon) (part ?WEAPON ?MV) (instance ?MV Vehicle)) (instance ?MV MilitaryVehicle)) |
MilitaryDevices.kif 61-66 |
|
(=> (instance ?WEAPON Weapon) (capability Damaging instrument ?WEAPON)) |
Merge.kif 14906-14908 |
|
(=> (instance ?WEAPON Weapon) (hasPurpose ?WEAPON (exists (?D ?PATIENT) (and (instance ?D Damaging) (instrument ?D ?WEAPON) (patient ?D ?PATIENT))))) |
Merge.kif 14910-14917 |
|
consequent |
![]() |
![]() |
![]() |