Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
HeavyMachineGun(heavy machine gun)
|
| appearance as argument number 1 |
|
| (subclass HeavyMachineGun AutomaticGun) | MilitaryDevices.kif 607-607 | Heavy machine gun is a subclass of automatic gun |
| (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 608-622 | Heavy machine gun is a subclass of automatic gun |
| (externalImage HeavyMachineGun "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2a/ M2_machine_gun.jpg") | pictureList.kif 6605-6605 | Heavy machine gun is a subclass of automatic gun |
| (externalImage HeavyMachineGun "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ XM312-02.jpg") | pictureList.kif 7046-7046 | Heavy machine gun is a subclass of automatic gun |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?CH CH53E) (exists (?MG) (and (instance ?MG HeavyMachineGun) (part ?MG ?CH)))) |
MilitaryDevices.kif 1978-1983 | If X is an instance of C h53 e, then there exists Y such that Y is an instance of heavy machine gun and Y is a part of X |
| (=> (instance ?CH46D CH46D) (weaponCarryingCapability ?CH46D HeavyMachineGun 2)) |
MilitaryDevices.kif 2033-2035 | If X is an instance of C h46 d, then X can carry 2 weapons of type heavy machine gun. |
| (=> (instance ?MP HeavyMGPlatoon) (exists (?MG) (and (instance ?MG HeavyMachineGun) (possesses ?MP ?MG)))) |
MilitaryPersons.kif 636-641 | If X is an instance of heavyMG platoon, then there exists Y such that Y is an instance of heavy machine gun and X possesses Y |
|