Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HeavyMachineGun
HeavyMachineGun

appearance as argument number 1
-------------------------


(documentation HeavyMachineGun EnglishLanguage "A heavy machine gun refers to either a larger-caliber, high-power machine gun or one of the smaller, medium-caliber (rifle caliber) machine guns meant for prolonged firing from heavy mounts, less mobile, or static positions (or some combination of the two). The latter meaning is generally thought of as an older meaning, and the former as a modern one, but both weapon types have histories extending back to the 1800s. Furthermore, heavier smaller-caliber weapons continue to be used up to the present. A classic example of a rifle-caliber heavy machine gun would be a water-cooled Maxim machine gun that was belt fed, had a water jacket, was crew served, and mounted on tripod or wheeled mount. Other types used linkable strips (such as the Hotchkiss) or large magazines. A common example of a heavy-caliber machine gun would be the Browning M2 .50-caliber machine gun. Firearms with calibers larger than 13 to 15 mm are generally thought of as autocannons instead of heavy machine guns. (from Wikipedia)") MilitaryDevices.kif 451-465
(externalImage HeavyMachineGun "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2a/ M2_machine_gun.jpg") pictureList.kif 6606-6606
(externalImage HeavyMachineGun "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ XM312-02.jpg") pictureList.kif 7047-7047
(subclass HeavyMachineGun AutomaticGun) MilitaryDevices.kif 450-450

appearance as argument number 2
-------------------------


(subclass ChainGun HeavyMachineGun) MilitaryDevices.kif 326-326
(subclass GrenadeLauncher HeavyMachineGun) MilitaryDevices.kif 591-591
(subclass M2Browning HeavyMachineGun) MilitaryDevices.kif 467-467
(subclass M3M HeavyMachineGun) MilitaryDevices.kif 548-548
(subclass XM218 HeavyMachineGun) MilitaryDevices.kif 514-514
(termFormat ChineseLanguage HeavyMachineGun "重机枪") domainEnglishFormat.kif 27828-27828
(termFormat ChineseTraditionalLanguage HeavyMachineGun "重機槍") domainEnglishFormat.kif 27827-27827
(termFormat EnglishLanguage HeavyMachineGun "heavy machine gun") domainEnglishFormat.kif 27826-27826

consequent
-------------------------


(=>
    (instance ?CH CH53E)
    (exists (?MG)
        (and
            (instance ?MG HeavyMachineGun)
            (part ?MG ?CH))))
MilitaryDevices.kif 1821-1826
(=>
    (instance ?CH46D CH46D)
    (weaponCarryingCapability ?CH46D HeavyMachineGun 2))
MilitaryDevices.kif 1876-1878
(=>
    (instance ?MP HeavyMGPlatoon)
    (exists (?MG)
        (and
            (instance ?MG HeavyMachineGun)
            (possesses ?MP ?MG))))
MilitaryPersons.kif 619-624


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners