No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 939-939 | AirLaunchMissile e' uma sub-classe de Missile |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1123-1123 | AGM e' uma sub-classe de AirLaunchMissile |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1169-1169 | AAM e' uma sub-classe de AirLaunchMissile |