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

KB Term:  Term intersection
English Word: 

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 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners