| 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 16185-16187 | |
| (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 16184-16184 | Weapon is a subclass of device |
| appearance as argument number 2 |
|
|
| (disjoint Furniture Weapon) | Mid-level-ontology.kif 4175-4175 | 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 23482-23482 | Bomb is a subclass of weapon |
| (subclass Gun Weapon) | Mid-level-ontology.kif 1225-1225 | Gun is a subclass of weapon |
| (subclass HighPrecisionWeapon Weapon) | MilitaryProcesses.kif 632-632 | High precision weapon is a subclass of weapon |
| (subclass LandMine Weapon) | Mid-level-ontology.kif 19425-19425 | Land mine is a subclass of weapon |
| (subclass Mortar Weapon) | Mid-level-ontology.kif 23715-23715 | 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 1196-1196 | Projectile launcher is a subclass of weapon |
| (subclass Spear Weapon) | Mid-level-ontology.kif 1212-1212 | Spear is a subclass of weapon |
| (subclass Sword Weapon) | Mid-level-ontology.kif 1216-1216 | Sword is a subclass of weapon |
| (subclass WeaponOfMassDestruction Weapon) | Mid-level-ontology.kif 1665-1665 | Weapon of mass destruction is a subclass of weapon |
| (subclass Whip Weapon) | Mid-level-ontology.kif 1220-1220 | 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 |
|
| (=> (instance ?WEAPON Weapon) (capability Damaging instrument ?WEAPON)) |
Merge.kif 16189-16191 |
|
| (=> (instance ?WEAPON Weapon) (hasPurpose ?WEAPON (exists (?D ?PATIENT) (and (instance ?D Damaging) (instrument ?D ?WEAPON) (patient ?D ?PATIENT))))) |
Merge.kif 16193-16200 |
|
| consequent |
|
|
|
|
|