| AGM65(AG m65)
| | AGM-65_Maverick_missile, AG_m65 |
| 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 1138-1150 | |
| (externalImage AGM65 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ armed_services/ missles_bombs/ AGM-65.png") | pictureList.kif 208-208 | "http://www.adampease.org/Articulate/SUMOpictures/pictures/ armed_services/ missles_bombs/ AGM-65.png" is a URL depicting AG m65 |
| (subclass AGM65 AGM) | MilitaryDevices.kif 1135-1135 | AG m65 is a subclass of AG m |
| (subclass AGM65 AntiArmorWeapon) | MilitaryDevices.kif 1137-1137 | AG m65 is a subclass of anti armor weapon |
| (subclass AGM65 InfraRedGMissile) | MilitaryDevices.kif 1136-1136 | AG m65 is a subclass of infra redG missile |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AGM65 "AG m65") | domainEnglishFormat.kif 1413-1413 | "AG m65" is the printable form of AG m65 in english language |
| (termFormat EnglishLanguage AGM65 "AGM-65 Maverick missile") | MilitaryDevices.kif 2068-2068 | "AGM-65 Maverick missile" is the printable form of AG m65 in english language |
| 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 Kilogram)) (effectiveRange ?AGM65 (MeasureFn 27 Kilometer)))) |
MilitaryDevices.kif 1154-1166 |
|
| consequent |
|
|
| (=> (instance ?Harrier Harrier2) (and (weaponCarryingCapability ?Harrier GAU12U 1) (weaponCarryingCapability ?Harrier AGM65 7) (weaponCarryingCapability ?Harrier AIM9 4))) |
MilitaryDevices.kif 1759-1764 |
|
|
|
|