InfantryUnit - Sigma Knowledge base Browser

appearance as argument number 1

(subclass InfantryUnit MilitaryUnit)	Military.kif 947-947	Infantry unit is a subclass of military unit
(documentation InfantryUnit EnglishLanguage "A MilitaryUnit composed primarily of Soldiers who fight on foot, i.e. without the use of heavy artillery.")	Military.kif 948-949	Infantry unit is a subclass of military unit
(externalImage InfantryUnit "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ 2ID_Recon_Baghdad.jpg")	pictureList.kif 8537-8537	Infantry unit is a subclass of military unit

appearance as argument number 2

(subclass InfantryCompany InfantryUnit)	MilitaryPersons.kif 519-519	Infantry company is a subclass of infantry unit
(termFormat EnglishLanguage InfantryUnit "infantry unit")	domainEnglishFormat.kif 29961-29961	Infantry company is a subclass of infantry unit
(termFormat ChineseTraditionalLanguage InfantryUnit "步兵部隊")	domainEnglishFormat.kif 29962-29962	Infantry company is a subclass of infantry unit
(termFormat ChineseLanguage InfantryUnit "步兵部队")	domainEnglishFormat.kif 29963-29963	Infantry company is a subclass of infantry unit

antecedent

(=>
    (instance ?AB InfantryUnit)
    (exists (?AC)
        (and
            (or
                (instance ?AC AutomaticGun)
                (instance ?AC Firearm)
                (instance ?AC MortarGun)
                (instance ?AC LandMine))
            (possesses ?AB ?AC))))