AntiArmorPlatoon - Sigma Knowledge base Browser

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 610-613
(subclass AntiArmorPlatoon Platoon)	MilitaryPersons.kif 608-608	Anti armor platoon is a subclass of platoon

appearance as argument number 2

(subEchelon WeaponsCompany AntiArmorPlatoon)	MilitaryPersons.kif 578-578	Anti armor platoon is a sub echelon of weapons company
(termFormat ChineseLanguage AntiArmorPlatoon "反装甲排")	domainEnglishFormat.kif 7837-7837	Anti armor platoon is a sub echelon of weapons company
(termFormat ChineseTraditionalLanguage AntiArmorPlatoon "反裝甲排")	domainEnglishFormat.kif 7836-7836	Anti armor platoon is a sub echelon of weapons company
(termFormat EnglishLanguage AntiArmorPlatoon "anti armor platoon")	domainEnglishFormat.kif 7835-7835	Anti armor platoon is a sub echelon of weapons company
(termFormat EnglishLanguage AntiArmorPlatoon "anti_armor platoon")	MilitaryPersons.kif 714-714	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 617-622