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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AntiTankMissile
AntiTankMissile(anti tank missile)

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 1031-1031
(externalImage AntiTankMissile "http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ Sidewider_missile_20040710_145400_1.4.jpg") pictureList.kif 2744-2744
(externalImage AntiTankMissile "http://upload.wikimedia.org/wikipedia/commons/ 6/ 67/ Trigat-LR-detoured.jpg") pictureList.kif 2743-2743
(subclass AntiTankMissile AntiTankWeapon) MilitaryDevices.kif 884-884 Anti tank missile is a subclass of anti tank weapon
(subclass AntiTankMissile Missile) MilitaryDevices.kif 885-885 Anti tank missile is a subclass of missile

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


(subclass BGM71TOW AntiTankMissile) MilitaryDevices.kif 845-845 BG m71TO w is a subclass of anti tank missile
(termFormat ChineseLanguage AntiTankMissile "反坦克导弹") domainEnglishFormat.kif 7916-7916 BG m71TO w is a subclass of anti tank missile
(termFormat ChineseTraditionalLanguage AntiTankMissile "反坦克導彈") domainEnglishFormat.kif 7915-7915 BG m71TO w is a subclass of anti tank missile
(termFormat EnglishLanguage AntiTankMissile "anti tank missile") domainEnglishFormat.kif 7914-7914 BG m71TO w is a subclass of anti tank missile
(termFormat EnglishLanguage AntiTankMissile "anti-tank missile") MilitaryDevices.kif 2058-2058 BG m71TO w is a subclass of anti tank missile

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