Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  AntiArmorWeapon

 Sigma KEE - AntiArmorWeapon
AntiArmorWeapon(anti armor weapon)
Bunker_Buster, GBU-28, Guided_Bomb_Unit-28

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


(subclass AntiArmorWeapon Weapon) MilitaryDevices.kif 810-810 Anti armor weapon is a subclass of weapon
(documentation AntiArmorWeapon EnglishLanguage "A weapon designed to damage the armor of military vehicles or bunkers") MilitaryDevices.kif 811-812 Anti armor weapon is a subclass of weapon
(externalImage AntiArmorWeapon "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 94/ TOW_fired_from_Jeep.jpg/ 250px_TOW_fired_from_Jeep.jpg") pictureList.kif 1304-1304 Anti armor weapon is a subclass of weapon

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


(subclass M242 AntiArmorWeapon) MilitaryDevices.kif 421-421 M242 is a subclass of anti armor weapon
(subclass GAU12U AntiArmorWeapon) MilitaryDevices.kif 456-456 GAU12U is a subclass of anti armor weapon
(subclass DragonWeapon AntiArmorWeapon) MilitaryDevices.kif 826-826 Dragon weapon is a subclass of anti armor weapon
(subclass SMAWBunkerBuster AntiArmorWeapon) MilitaryDevices.kif 936-936 SMAW bunker buster is a subclass of anti armor weapon
(subclass AntiTankWeapon AntiArmorWeapon) MilitaryDevices.kif 1024-1024 Anti tank weapon is a subclass of anti armor weapon
(subclass AGM65 AntiArmorWeapon) MilitaryDevices.kif 1295-1295 AG m65 is a subclass of anti armor weapon
(subclass AGM114 AntiArmorWeapon) MilitaryDevices.kif 1362-1362 AG m114 is a subclass of anti armor weapon
(subclass RPG AntiArmorWeapon) MilitaryDevices.kif 1457-1457 RPG is a subclass of anti armor weapon
(termFormat EnglishLanguage AntiArmorWeapon "anti-armor weapon") MilitaryDevices.kif 2205-2205 RPG is a subclass of anti armor weapon
(termFormat EnglishLanguage AntiArmorWeapon "anti armor weapon") domainEnglishFormat.kif 7834-7834 RPG is a subclass of anti armor weapon
(termFormat ChineseTraditionalLanguage AntiArmorWeapon "反裝甲武器") domainEnglishFormat.kif 7835-7835 RPG is a subclass of anti armor weapon
(termFormat ChineseLanguage AntiArmorWeapon "反装甲武器") domainEnglishFormat.kif 7836-7836 RPG is a subclass of anti armor weapon

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


(=>
    (instance ?W AntiArmorWeapon)
    (hasPurpose ?W
        (exists (?DAMAGING ?ARMOR)
            (and
                (instance ?DAMAGING Damaging)
                (instrument ?DAMAGING ?W)
                (patient ?DAMAGING ?ARMOR)
                (instance ?ARMOR Armor)))))		 MilitaryDevices.kif 816-824 If X is an instance of anti armor weapon, then X has the purpose there exist Y, Z such that Y is an instance of damaging, X is an instrument for Y, Z is a patient of Y, and Z is an instance of armor

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


(=>
    (instance ?MP AntiArmorPlatoon)
    (exists (?MG)
        (and
            (instance ?MG AntiArmorWeapon)
            (possesses ?MP ?MG))))		 MilitaryPersons.kif 620-625 If X is an instance of anti armor platoon, then there exists Y such that Y is an instance of anti armor weapon and X possesses Y


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners