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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArtilleryBattery
ArtilleryBattery(artillery battery)
battery

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 496-501
(externalImage ArtilleryBattery "http://upload.wikimedia.org/wikipedia/commons/ c/ c5/ Grey_Point_Fort.JPG") pictureList.kif 5865-5865
(subclass ArtilleryBattery CompanyMilitary) MilitaryPersons.kif 494-494 Artillery battery is a subclass of company- military

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


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

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


(=>
    (instance ?AB ArtilleryBattery)
    (exists (?COLL)
        (and
            (instance ?COLL Collection)
            (memberType ?COLL ArtilleryGun)
            (memberCount ?COLL ?I)
            (greaterThan ?I 2)
            (possesses ?AB ?COLL))))
MilitaryPersons.kif 505-513


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