| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 653-653 | AntiArmorWeapon e' uma sub-classe de Arma |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 264-264 | M242 e' uma sub-classe de AntiArmorWeapon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 299-299 | GAU12U e' uma sub-classe de AntiArmorWeapon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 669-669 | DragonWeapon e' uma sub-classe de AntiArmorWeapon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 779-779 | SMAWBunkerBuster e' uma sub-classe de AntiArmorWeapon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 867-867 | AntiTankWeapon e' uma sub-classe de AntiArmorWeapon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1138-1138 | AGM65 e' uma sub-classe de AntiArmorWeapon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1205-1205 | AGM114 e' uma sub-classe de AntiArmorWeapon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1300-1300 | RPG e' uma sub-classe de AntiArmorWeapon |
|
|