M242 - Sigma Knowledge base Browser

appearance as argument number 1

(subclass M242 AntiArmorWeapon)	MilitaryDevices.kif 421-421	M242 is a subclass of anti armor weapon
(subclass M242 ChainGun)	MilitaryDevices.kif 422-422	M242 is a subclass of chain gun
(documentation M242 EnglishLanguage "The M242 Bushmaster is a 25 mm chain gun. It is currently used by the US Armed Forces and other NATO forces. It is used extensively on vehicles and aircraft. It is an externally powered, chain driven, single-barrel weapon which may be fired in semi-automatic or automatic modes. It is fed by a metallic link belt and has dual-feed capability. The term chain gun derives from the use of a roller chain that drives the bolt back and forth. It can destroy lightly armored vehicles and aerial targets (such as helicopters and slow-flying aircraft). It can also suppress enemy positions such as troops in the open, dug-in positions, and built-up areas. The standard rate of fire is 200 rounds per minute, and has a range of 2,000 meters (depending on the type of ammunition used). (from Wikipedia)")	MilitaryDevices.kif 424-435	M242 is a subclass of chain gun
(caliber M242 (MeasureFn 25.0 Millimeter))	MilitaryDevices.kif 439-440	25.0 Millimeter(s) is a caliber of m242
(externalImage M242 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 5b/ M242-1.jpg/ 250px_M242-1.jpg")	pictureList.kif 1167-1167	25.0 Millimeter(s) is a caliber of m242

appearance as argument number 2

(termFormat EnglishLanguage M242 "M-242 Bushmaster")	MilitaryDevices.kif 2194-2194
(termFormat EnglishLanguage M242 "m242")	domainEnglishFormat.kif 35419-35419
(termFormat ChineseTraditionalLanguage M242 "M242")	domainEnglishFormat.kif 35420-35420
(termFormat ChineseLanguage M242 "M242")	domainEnglishFormat.kif 35421-35421

antecedent

(=> (instance ?M242 M242) (effectiveRange ?M242 (MeasureFn 2.0 Kilometer)))	MilitaryDevices.kif 444-447	If X is an instance of m242, then 2.0 kilometer(s) is an effective range of X
(=> (instance ?M242 M242) (weight ?M242 (MeasureFn 110.0 Kilogram)))	MilitaryDevices.kif 451-454	If X is an instance of m242, then 110.0 kilogram(s) is a weight of X

consequent

(=>
    (instance ?LAV LAV25)
    (and
        (weaponCarryingCapability ?LAV M242 1)
        (weaponCarryingCapability ?LAV M240 2)))

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.