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 750-751
(externalImage InfantryUnit "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ 2ID_Recon_Baghdad.jpg") pictureList.kif 8537-8537
(subclass InfantryUnit MilitaryUnit) Military.kif 749-749 Infantry unit is a subclass of military unit

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


(subclass InfantryCompany InfantryUnit) MilitaryPersons.kif 516-516 Infantry company is a subclass of infantry unit
(termFormat ChineseLanguage InfantryUnit "步兵部队") domainEnglishFormat.kif 29970-29970 Infantry company is a subclass of infantry unit
(termFormat ChineseTraditionalLanguage InfantryUnit "步兵部隊") domainEnglishFormat.kif 29969-29969 Infantry company is a subclass of infantry unit
(termFormat EnglishLanguage InfantryUnit "infantry unit") domainEnglishFormat.kif 29968-29968 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))))
Military.kif 753-762


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