| AntiArmorWeapon(anti armor weapon)
| | Bunker_Buster, GBU-28, Guided_Bomb_Unit-28 |
| appearance as argument number 1 |
|
|
| (externalImage AntiArmorWeapon "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 94/ TOW_fired_from_Jeep.jpg/ 250px_TOW_fired_from_Jeep.jpg") | pictureList.kif 1304-1304 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AntiArmorWeapon "反装甲武器") | domainEnglishFormat.kif 7837-7837 | |
| (termFormat ChineseTraditionalLanguage AntiArmorWeapon "反裝甲武器") | domainEnglishFormat.kif 7836-7836 | |
| (termFormat EnglishLanguage AntiArmorWeapon "anti armor weapon") | domainEnglishFormat.kif 7835-7835 |
| consequent |
|
|
| (=> (instance ?MP AntiArmorPlatoon) (exists (?MG) (and (instance ?MG AntiArmorWeapon) (possesses ?MP ?MG)))) |
MilitaryPersons.kif 617-622 |
|
|
|
|