| (=> (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 16045-16045 | Arma è una sottoclasse di Dispositivo |
| (subclass NuclearWeapon Weapon) | WMD.kif 131-131 | NuclearWeapon è una sottoclasse di Arma |
| (subclass HighPrecisionWeapon Weapon) | MilitaryProcesses.kif 632-632 | HighPrecisionWeapon è una sottoclasse di Arma |
| (subclass AntiArmorWeapon Weapon) | MilitaryDevices.kif 653-653 | AntiArmorWeapon è una sottoclasse di Arma |
| (subclass Projectile Weapon) | Mid-level-ontology.kif 1113-1113 | Projectile è una sottoclasse di Arma |
| (subclass ProjectileLauncher Weapon) | Mid-level-ontology.kif 1131-1131 | ProjectileLauncher è una sottoclasse di Arma |
| (subclass Spear Weapon) | Mid-level-ontology.kif 1147-1147 | Spear è una sottoclasse di Arma |
| (subclass Sword Weapon) | Mid-level-ontology.kif 1151-1151 | Sword è una sottoclasse di Arma |
| (subclass Whip Weapon) | Mid-level-ontology.kif 1155-1155 | Whip è una sottoclasse di Arma |
| (subclass Gun Weapon) | Mid-level-ontology.kif 1160-1160 | Gun è una sottoclasse di Arma |
| (subclass WeaponOfMassDestruction Weapon) | Mid-level-ontology.kif 1449-1449 | WeaponOfMassDestruction è una sottoclasse di Arma |
| (subclass ExplosiveMine Weapon) | Mid-level-ontology.kif 17856-17856 | ExplosiveMine è una sottoclasse di Arma |
| (subclass Bomb Weapon) | Mid-level-ontology.kif 21822-21822 | Bomb è una sottoclasse di Arma |
| (subclass Mortar Weapon) | Mid-level-ontology.kif 22054-22054 | Mortar è una sottoclasse di Arma |
|
|