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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AntiTankMissile
AntiTankMissile

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


(documentation AntiTankMissile EnglishLanguage "An Anti-Tank Guided Missile (ATGM) or Anti-Tank Guided Weapon (ATGW) is a guided missile primarily designed to hit and destroy heavily armored tanks and other armoured fighting vehicles. ATGMs range in size from shoulder-launched weapons which can be transported by a single soldier, to larger tripod mounted weapons which require a squad or team to transport and fire, to vehicle and aircraft mounted missile systems. The introduction of smaller, man-portable ATGMs with larger warheads to the modern battlefield has given infantry the ability to defeat even heavily armored main battle tanks at great ranges, usually with the first shot. Earlier infantry anti-tank weapons such as anti-tank rifles, anti-tank rockets and magnetic anti-tank mines had limited armor-penetration abilities and/ or required a soldier to approach the target closely. (from Wikipedia)") MilitaryDevices.kif 887-899
(externalImage AntiTankMissile "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Tow_atm.jpg") pictureList.kif 1032-1032
(externalImage AntiTankMissile "http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ Sidewider_missile_20040710_145400_1.4.jpg") pictureList.kif 2745-2745
(externalImage AntiTankMissile "http://upload.wikimedia.org/wikipedia/commons/ 6/ 67/ Trigat-LR-detoured.jpg") pictureList.kif 2744-2744
(subclass AntiTankMissile AntiTankWeapon) MilitaryDevices.kif 884-884 subclass AntiTankMissile and AntiTankWeapon
(subclass AntiTankMissile Missile) MilitaryDevices.kif 885-885 subclass AntiTankMissile and Missile

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


(subclass BGM71TOW AntiTankMissile) MilitaryDevices.kif 845-845 subclass BGM71TOW and AntiTankMissile
(termFormat ChineseLanguage AntiTankMissile "反坦克导弹") domainEnglishFormat.kif 7919-7919
(termFormat ChineseTraditionalLanguage AntiTankMissile "反坦克導彈") domainEnglishFormat.kif 7918-7918
(termFormat EnglishLanguage AntiTankMissile "anti tank missile") domainEnglishFormat.kif 7917-7917
(termFormat EnglishLanguage AntiTankMissile "anti-tank missile") MilitaryDevices.kif 2058-2058

consequent
-------------------------


(=>
    (instance ?AH1 AH1)
    (and
        (weaponCarryingCapability ?AH1 M197GatlingGun 1)
        (weaponCarryingCapability ?AH1 AntiTankMissile 4)
        (weaponCarryingCapability ?AH1 AGM114 8)
        (weaponCarryingCapability ?AH1 AIM9 1)))
MilitaryDevices.kif 1916-1922


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