MortarPlatoon - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MortarPlatoon EnglishLanguage "A platoon carrying mortars.")	MilitaryPersons.kif 568-568
(subclass MortarPlatoon Platoon)	MilitaryPersons.kif 566-566	Mortar platoon is a subclass of platoon

appearance as argument number 2

(subEchelon WeaponsCompany MortarPlatoon)	MilitaryPersons.kif 579-579	Mortar platoon is a sub echelon of weapons company
(termFormat ChineseLanguage MortarPlatoon "迫击炮排")	domainEnglishFormat.kif 38617-38617	Mortar platoon is a sub echelon of weapons company
(termFormat ChineseTraditionalLanguage MortarPlatoon "迫擊砲排")	domainEnglishFormat.kif 38616-38616	Mortar platoon is a sub echelon of weapons company
(termFormat EnglishLanguage MortarPlatoon "mortar platoon")	domainEnglishFormat.kif 38615-38615	Mortar platoon is a sub echelon of weapons company

antecedent

(=>
    (instance ?MP MortarPlatoon)
    (exists (?MG)
        (and
            (instance ?MG MortarGun)
            (possesses ?MP ?MG))))

MilitaryPersons.kif 570-575