![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| M240(m240) |
| appearance as argument number 1 |
|
|
| (subclass M240 AutomaticGun) | MilitaryDevices.kif 515-515 | M240 is a subclass of automatic gun |
| (documentation M240 EnglishLanguage "The M240 is a belt-fed 7.62 mm NATO medium machine gun. It has been used by the U.S. Armed Forces since the end of the 20th century, and is also used by other NATO forces. It is used extensively in the infantry as well as on vehicles and aircraft. Though not the lightest medium machine gun, it is highly regarded for reliability, and the firearm's standardization with those of other NATO allies is also seen as a major plus. The M240 designation is used to describe the whole family, but it is also a specic variant- a specialized co-axial model. There are many versions in service, see selected versions below: * M240- a co-axial version adopted in 1977 by the US Army for use * in tanks. This version of the FN MAG beat out the M60E2 and * M219, as well as host of other medium machine guns including the * MG3 and AA-52 co-axial versions. Entered service in the 1980s on * the M1 Abrams. * M240E1- a pintle mounted version that also entered service in * the 1980s. Also used by USMC. * M240G- a version used by the USMC starting 1994, including in * infantry configuration as opposed to the previous vehicle * mounted types. * M240B- a ground version adopted by the Army in the late 1990s, * with deliverys starting around 1998. Includes recoil buffer and * front heat guard. Beat out other medium MGs. * M240H- an improved model mainly for aircraft developed in the * early first decade of the 2000s. (from Wikipedia)") | MilitaryDevices.kif 516-546 | M240 is a subclass of automatic gun |
| (caliber M240 (MeasureFn 7.62 Millimeter)) |
MilitaryDevices.kif 550-551 | 7.62 Millimeter(s) is a caliber of m240 |
| (externalImage M240 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 65/ M240-1.jpg/ 300px_M240-1.jpg") | pictureList.kif 1166-1166 | 7.62 Millimeter(s) is a caliber of m240 |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?M240 M240) (weight ?M240 (MeasureFn 12.5 Kilogram))) |
MilitaryDevices.kif 555-558 | If X is an instance of m240, then 12.5 kilogram(s) is a weight of X |
| (=> (instance ?M240 M240) (effectiveRange ?M240 (MeasureFn 1.8 Kilometer))) |
MilitaryDevices.kif 562-565 | If X is an instance of m240, then 1.8 kilometer(s) is an effective range of X |
| consequent |
|
|
| (=> (instance ?LAV LAV25) (and (weaponCarryingCapability ?LAV M242 1) (weaponCarryingCapability ?LAV M240 2))) |
MilitaryDevices.kif 1715-1719 | If X is an instance of LAV25, then X can carry 1 weapons of type m242. and X can carry 2 weapons of type m240. |