Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InfantryUnit
InfantryUnit(infantry unit)
foot, infantry

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(subclass InfantryCompany InfantryUnit) MilitaryPersons.kif 502-502 Infantry company is a subclass of infantry unit
(termFormat ChineseLanguage InfantryUnit "步兵部队") domainEnglishFormat.kif 29878-29878
(termFormat ChineseTraditionalLanguage InfantryUnit "步兵部隊") domainEnglishFormat.kif 29877-29877
(termFormat EnglishLanguage InfantryUnit "infantry unit") domainEnglishFormat.kif 29876-29876

antecedent
-------------------------


(=>
    (instance ?AB InfantryUnit)
    (exists (?AC)
        (and
            (or
                (instance ?AC AutomaticGun)
                (instance ?AC Firearm)
                (instance ?AC MortarGun)
                (instance ?AC ExplosiveMine))
            (possesses ?AB ?AC))))
Military.kif 676-685


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners