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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InfantryUnit

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 8538-8538
(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 29959-29959
(termFormat ChineseTraditionalLanguage InfantryUnit "步兵部隊") domainEnglishFormat.kif 29958-29958
(termFormat EnglishLanguage InfantryUnit "infantry unit") domainEnglishFormat.kif 29957-29957

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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