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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - InfantryUnit

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 " 4/ 40/ 2ID_Recon_Baghdad.jpg") pictureList.kif 8538-8538
(subclass InfantryUnit MilitaryUnit) Military.kif 672-672

appearance as argument number 2

(subclass InfantryCompany InfantryUnit) MilitaryPersons.kif 502-502
(termFormat ChineseLanguage InfantryUnit "步兵部队") domainEnglishFormat.kif 29959-29959
(termFormat ChineseTraditionalLanguage InfantryUnit "步兵部隊") domainEnglishFormat.kif 29958-29958
(termFormat EnglishLanguage InfantryUnit "infantry unit") domainEnglishFormat.kif 29957-29957


    (instance ?AB InfantryUnit)
    (exists (?AC)
                (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