| HeavyMachineGun(heavy machine gun)
|
| appearance as argument number 1 |
|
| (externalImage HeavyMachineGun "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2a/ M2_machine_gun.jpg") | pictureList.kif 6605-6605 | |
| (externalImage HeavyMachineGun "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ XM312-02.jpg") | pictureList.kif 7046-7046 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HeavyMachineGun "重机枪") | domainEnglishFormat.kif 27839-27839 | |
| (termFormat ChineseTraditionalLanguage HeavyMachineGun "重機槍") | domainEnglishFormat.kif 27838-27838 | |
| (termFormat EnglishLanguage HeavyMachineGun "heavy machine gun") | domainEnglishFormat.kif 27837-27837 |
| consequent |
|
|
| (=> (instance ?MP HeavyMGPlatoon) (exists (?MG) (and (instance ?MG HeavyMachineGun) (possesses ?MP ?MG)))) |
MilitaryPersons.kif 633-638 |
|
|
|
|