AGM65 |
appearance as argument number 1 |
(documentation AGM65 EnglishLanguage "The AGM-65 Maverick is an air-to-surface tactical missile (ASM) designed for close air support, prohibition, and forceful prevention. It is effective against a wide range of tactical targets, including armor, air defenses, ships, ground transportation, and fuel storage facilities. The AGM-65F (infrared targeting) used by the US Navy has an infrared guidance system optimized for ship tracking and a larger penetrating warhead than the shaped charge used by the US Marine Corps and the US Air Force (300 pounds (136 kg) vs 125 pounds (57 kg)). The AGM-65 has two types of warheads, one has a contact fuze in the nose, and the other has a heavyweight warhead with a delayed fuze, which penetrates the target with its kinetic energy before firing. The latter is most effective against large, hard targets. The propulsion system for both types is a solid-fuel rocket motor behind the warhead. (from Wikipedia)") | MilitaryDevices.kif 1139-1151 | |
(externalImage AGM65 "http://articulatesoftware.com/SUMOpictures/armed_services/ missles_bombs/ AGM-65.png") | pictureList.kif 208-208 | |
(subclass AGM65 AGM) | MilitaryDevices.kif 1136-1136 | |
(subclass AGM65 AntiArmorWeapon) | MilitaryDevices.kif 1138-1138 | |
(subclass AGM65 InfraRedGMissile) | MilitaryDevices.kif 1137-1137 |
appearance as argument number 2 |
(termFormat ChineseLanguage AGM65 "AG m65") | domainEnglishFormat.kif 5879-5879 | |
(termFormat ChineseTraditionalLanguage AGM65 "AG m65") | domainEnglishFormat.kif 5878-5878 | |
(termFormat EnglishLanguage AGM65 "AG m65") | domainEnglishFormat.kif 5877-5877 | |
(termFormat EnglishLanguage AGM65 "AGM-65 Maverick missile") | MilitaryDevices.kif 2069-2069 |
antecedent |
(=> (instance ?AGM65 AGM65) (and (length ?AGM65 (MeasureFn 2.55 Meter)) (width ?AGM65 (MeasureFn 0.7 Meter)) (height ?AGM65 (MeasureFn 0.7 Meter)) (weight ?AGM65 (MeasureFn 302.0 Kilogram)) (effectiveRange ?AGM65 (MeasureFn 27.0 Kilometer)))) |
MilitaryDevices.kif 1155-1167 |
consequent |
(=> (instance ?Harrier Harrier2) (and (weaponCarryingCapability ?Harrier GAU12U 1) (weaponCarryingCapability ?Harrier AGM65 7) (weaponCarryingCapability ?Harrier AIM9 4))) |
MilitaryDevices.kif 1760-1765 |