| (=> (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 16199-16199 | 子類 Weapon and Device |
| (subclass NuclearWeapon Weapon) | WMD.kif 131-131 | 子類 核武器 and Weapon |
| (subclass HighPrecisionWeapon Weapon) | MilitaryProcesses.kif 632-632 | 子類 高精度武器 and Weapon |
| (subclass Projectile Weapon) | Mid-level-ontology.kif 1106-1106 | 子類 拋射物 and Weapon |
| (subclass ProjectileLauncher Weapon) | Mid-level-ontology.kif 1197-1197 | 子類 拋射物發射器 and Weapon |
| (subclass Spear Weapon) | Mid-level-ontology.kif 1213-1213 | 子類 矛 and Weapon |
| (subclass Sword Weapon) | Mid-level-ontology.kif 1217-1217 | 子類 劍 and Weapon |
| (subclass Whip Weapon) | Mid-level-ontology.kif 1221-1221 | 子類 鞭子 and Weapon |
| (subclass Gun Weapon) | Mid-level-ontology.kif 1226-1226 | 子類 槍 and Weapon |
| (subclass WeaponOfMassDestruction Weapon) | Mid-level-ontology.kif 1666-1666 | 子類 大規模殺傷性武器 and Weapon |
| (subclass LandMine Weapon) | Mid-level-ontology.kif 19408-19408 | 子類 地雷 and Weapon |
| (subclass Bomb Weapon) | Mid-level-ontology.kif 23465-23465 | 子類 炸彈 and Weapon |
| (subclass Mortar Weapon) | Mid-level-ontology.kif 23698-23698 | 子類 砂漿 and Weapon |
|
|