(subclass InfraRedGMissile GuidedMissile) | MilitaryDevices.kif 1065-1065 | Infra redG missile is a subclass of guided missile |
(subclass AGM65 InfraRedGMissile) | MilitaryDevices.kif 1137-1137 | AG m65 is a subclass of infra redG missile |
(subclass AIM9 InfraRedGMissile) | MilitaryDevices.kif 1178-1178 | AI m9 is a subclass of infra redG missile |