| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 992-992 | GroundAttackMissile e' uma sub-classe de Missile |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1124-1124 | AGM e' uma sub-classe de GroundAttackMissile |
|
|