Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AGM65
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AGM65 AGM) | MilitaryDevices.kif 1293-1293 | AG m65 is a subclass of AG m |
| (subclass AGM65 InfraRedGMissile) | MilitaryDevices.kif 1294-1294 | AG m65 is a subclass of infra redG missile |
| (subclass AGM65 AntiArmorWeapon) | MilitaryDevices.kif 1295-1295 | AG m65 is a subclass of anti armor weapon |
| (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 1296-1308 | AG m65 is a subclass of anti armor weapon |
| (externalImage AGM65 "http://articulatesoftware.com/SUMOpictures/armed_services/ missles_bombs/ AGM-65.png") | pictureList.kif 208-208 | AG m65 is a subclass of anti armor weapon |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AGM65 "AGM-65 Maverick missile") | MilitaryDevices.kif 2222-2222 | |
| (termFormat EnglishLanguage AGM65 "AG m65") | domainEnglishFormat.kif 5881-5881 | |
| (termFormat ChineseTraditionalLanguage AGM65 "AG m65") | domainEnglishFormat.kif 5882-5882 | |
| (termFormat ChineseLanguage AGM65 "AG m65") | domainEnglishFormat.kif 5883-5883 |
| 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 1312-1324 | If X is an instance of AG m65, then the length of X is 2.55 meter(s), the width of X is 0.7 meter(s), the height of X is 0.7 meter(s), 302.0 kilogram(s) is a weight of X, and 27.0 kilometer(s) is an effective range of X |
| consequent |
|
|
| (=> (instance ?Harrier Harrier2) (and (weaponCarryingCapability ?Harrier GAU12U 1) (weaponCarryingCapability ?Harrier AGM65 7) (weaponCarryingCapability ?Harrier AIM9 4))) |
MilitaryDevices.kif 1917-1922 | If X is an instance of harrier2, then X can carry 1 weapons of type GAU12U., X can carry 7 weapons of type AG m65., and X can carry 4 weapons of type AI m9. |
|
