AntiArmorPlatoon(anti armor platoon) |
appearance as argument number 1 |
(documentation AntiArmorPlatoon EnglishLanguage "An antiarmor platoon (utilizing either the dragon or javelin weapons system, SMAW bunker busters, and the TOW missileweapons system) is part of a WeaponsCompany. (from Wikipedia)") | MilitaryPersons.kif 596-599 | |
(subclass AntiArmorPlatoon Platoon) | MilitaryPersons.kif 594-594 | Anti armor platoon is a subclass of platoon |
appearance as argument number 2 |
(subEchelon WeaponsCompany AntiArmorPlatoon) | MilitaryPersons.kif 564-564 | Anti armor platoon is a sub echelon of weapons company |
(termFormat ChineseLanguage AntiArmorPlatoon "反装甲排") | domainEnglishFormat.kif 7838-7838 | Anti armor platoon is a sub echelon of weapons company |
(termFormat ChineseTraditionalLanguage AntiArmorPlatoon "反裝甲排") | domainEnglishFormat.kif 7837-7837 | Anti armor platoon is a sub echelon of weapons company |
(termFormat EnglishLanguage AntiArmorPlatoon "anti armor platoon") | domainEnglishFormat.kif 7836-7836 | Anti armor platoon is a sub echelon of weapons company |
(termFormat EnglishLanguage AntiArmorPlatoon "anti-armor platoon") | MilitaryPersons.kif 701-701 | Anti armor platoon is a sub echelon of weapons company |
antecedent |
(=> (instance ?MP AntiArmorPlatoon) (exists (?MG) (and (instance ?MG AntiArmorWeapon) (possesses ?MP ?MG)))) |
MilitaryPersons.kif 603-608 |
|