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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArtilleryBattery
ArtilleryBattery

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


(documentation ArtilleryBattery EnglishLanguage "In military science, a battery is a group of artillery guns or rockets, so grouped in order to facilitate battlefield communication and command and control, as well as to provide dispersion. Batteries are grouped in larger units called battalions, which are further grouped into regiments. (from Wikipedia)") MilitaryPersons.kif 485-490
(externalImage ArtilleryBattery "http://upload.wikimedia.org/wikipedia/commons/ c/ c5/ Grey_Point_Fort.JPG") pictureList.kif 5867-5867
(subclass ArtilleryBattery Company-Military) MilitaryPersons.kif 483-483

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


(termFormat ChineseLanguage ArtilleryBattery "炮兵电池") domainEnglishFormat.kif 8541-8541
(termFormat ChineseTraditionalLanguage ArtilleryBattery "砲兵電池") domainEnglishFormat.kif 8540-8540
(termFormat EnglishLanguage ArtilleryBattery "artillery battery") domainEnglishFormat.kif 8539-8539

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


(=>
    (instance ?AB ArtilleryBattery)
    (exists (?AC)
        (and
            (instance ?AC ArtilleryCannon)
            (possesses ?AB ?AC))))
MilitaryPersons.kif 494-499


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