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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InfantryUnit
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 "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ 2ID_Recon_Baghdad.jpg") pictureList.kif 8540-8540
(subclass InfantryUnit MilitaryUnit) Military.kif 672-672

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


(subclass InfantryCompany InfantryUnit) MilitaryPersons.kif 502-502
(termFormat ChineseLanguage InfantryUnit "步兵部队") domainEnglishFormat.kif 29946-29946
(termFormat ChineseTraditionalLanguage InfantryUnit "步兵部隊") domainEnglishFormat.kif 29945-29945
(termFormat EnglishLanguage InfantryUnit "infantry unit") domainEnglishFormat.kif 29944-29944

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