| (=> (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 | |
| (subclass Weapon Device) | Merge.kif 14904-14904 | |
| (subclass NuclearWeapon Weapon) | WMD.kif 130-130 | |
| (subclass HighPrecisionWeapon Weapon) | MilitaryProcesses.kif 632-632 | |
| (subclass AntiArmorWeapon Weapon) | MilitaryDevices.kif 653-653 | |
| (subclass Projectile Weapon) | Mid-level-ontology.kif 1051-1051 | |
| (subclass ProjectileLauncher Weapon) | Mid-level-ontology.kif 1069-1069 | |
| (subclass Spear Weapon) | Mid-level-ontology.kif 1085-1085 | |
| (subclass Sword Weapon) | Mid-level-ontology.kif 1089-1089 | |
| (subclass Whip Weapon) | Mid-level-ontology.kif 1093-1093 | |
| (subclass Gun Weapon) | Mid-level-ontology.kif 1098-1098 | |
| (subclass WeaponOfMassDestruction Weapon) | Mid-level-ontology.kif 1386-1386 | |
| (subclass ExplosiveMine Weapon) | Mid-level-ontology.kif 14437-14437 | |
| (subclass Bomb Weapon) | Mid-level-ontology.kif 18296-18296 | |
| (subclass Mortar Weapon) | Mid-level-ontology.kif 18526-18526 |
|
|