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 1124-1124 | AGM e' uma sub-classe de GroundAttackMissile |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1136-1136 | AGM65 e' uma sub-classe de AGM |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1203-1203 | AGM114 e' uma sub-classe de AGM |