(=> (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 16023-16023 | 子類 Weapon and Device |
(subclass NuclearWeapon Weapon) | WMD.kif 131-131 | 子類 核武器 and Weapon |
(subclass HighPrecisionWeapon Weapon) | MilitaryProcesses.kif 632-632 | 子類 高精度武器 and Weapon |
(subclass AntiArmorWeapon Weapon) | MilitaryDevices.kif 653-653 | 子類 反裝甲武器 and Weapon |
(subclass Projectile Weapon) | Mid-level-ontology.kif 1113-1113 | 子類 拋射物 and Weapon |
(subclass ProjectileLauncher Weapon) | Mid-level-ontology.kif 1131-1131 | 子類 拋射物發射器 and Weapon |
(subclass Spear Weapon) | Mid-level-ontology.kif 1147-1147 | 子類 矛 and Weapon |
(subclass Sword Weapon) | Mid-level-ontology.kif 1151-1151 | 子類 劍 and Weapon |
(subclass Whip Weapon) | Mid-level-ontology.kif 1155-1155 | 子類 鞭子 and Weapon |
(subclass Gun Weapon) | Mid-level-ontology.kif 1160-1160 | 子類 槍 and Weapon |
(subclass WeaponOfMassDestruction Weapon) | Mid-level-ontology.kif 1449-1449 | 子類 大規模殺傷性武器 and Weapon |
(subclass ExplosiveMine Weapon) | Mid-level-ontology.kif 17857-17857 | 子類 爆炸性的礦井 and Weapon |
(subclass Bomb Weapon) | Mid-level-ontology.kif 21823-21823 | 子類 炸彈 and Weapon |
(subclass Mortar Weapon) | Mid-level-ontology.kif 22055-22055 | 子類 砂漿 and Weapon |