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 1044-1056
(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 2743-2743
(externalImage AntiTankMissile "http://upload.wikimedia.org/wikipedia/commons/ 6/ 67/ Trigat_LR_detoured.jpg") pictureList.kif 2742-2742
(subclass AntiTankMissile AntiTankWeapon) MilitaryDevices.kif 1041-1041 Anti tank missile is a subclass of anti tank weapon
(subclass AntiTankMissile Missile) MilitaryDevices.kif 1042-1042 Anti tank missile is a subclass of missile

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


(subclass BGM71TOW AntiTankMissile) MilitaryDevices.kif 1002-1002 BG m71TO w is a subclass of anti tank missile
(termFormat ChineseLanguage AntiTankMissile "反坦克导弹") domainEnglishFormat.kif 7909-7909 BG m71TO w is a subclass of anti tank missile
(termFormat ChineseTraditionalLanguage AntiTankMissile "反坦克導彈") domainEnglishFormat.kif 7908-7908 BG m71TO w is a subclass of anti tank missile
(termFormat EnglishLanguage AntiTankMissile "anti tank missile") domainEnglishFormat.kif 7907-7907 BG m71TO w is a subclass of anti tank missile
(termFormat EnglishLanguage AntiTankMissile "anti-tank missile") MilitaryDevices.kif 2215-2215 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 2073-2079


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