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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AntiArmorWeapon
AntiArmorWeapon

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


(documentation AntiArmorWeapon EnglishLanguage "A weapon designed to damage the armor of military vehicles or bunkers") MilitaryDevices.kif 811-812
(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
(subclass AntiArmorWeapon Weapon) MilitaryDevices.kif 810-810 AntiArmorWeapon は 武器 の subclass では

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


(subclass AGM114 AntiArmorWeapon) MilitaryDevices.kif 1362-1362 AGM114 は AntiArmorWeapon の subclass では
(subclass AGM65 AntiArmorWeapon) MilitaryDevices.kif 1295-1295 AGM65 は AntiArmorWeapon の subclass では
(subclass AntiTankWeapon AntiArmorWeapon) MilitaryDevices.kif 1024-1024 AntiTankWeapon は AntiArmorWeapon の subclass では
(subclass DragonWeapon AntiArmorWeapon) MilitaryDevices.kif 826-826 DragonWeapon は AntiArmorWeapon の subclass では
(subclass GAU12U AntiArmorWeapon) MilitaryDevices.kif 456-456 GAU12U は AntiArmorWeapon の subclass では
(subclass M242 AntiArmorWeapon) MilitaryDevices.kif 421-421 M242 は AntiArmorWeapon の subclass では
(subclass RPG AntiArmorWeapon) MilitaryDevices.kif 1457-1457 RPG は AntiArmorWeapon の subclass では
(subclass SMAWBunkerBuster AntiArmorWeapon) MilitaryDevices.kif 936-936 SMAWBunkerBuster は AntiArmorWeapon の subclass では
(termFormat ChineseLanguage AntiArmorWeapon "反装甲武器") domainEnglishFormat.kif 7837-7837 SMAWBunkerBuster は AntiArmorWeapon の subclass では
(termFormat ChineseTraditionalLanguage AntiArmorWeapon "反裝甲武器") domainEnglishFormat.kif 7836-7836 SMAWBunkerBuster は AntiArmorWeapon の subclass では
(termFormat EnglishLanguage AntiArmorWeapon "anti armor weapon") domainEnglishFormat.kif 7835-7835 SMAWBunkerBuster は AntiArmorWeapon の subclass では
(termFormat EnglishLanguage AntiArmorWeapon "anti-armor weapon") MilitaryDevices.kif 2209-2209 SMAWBunkerBuster は AntiArmorWeapon の subclass では

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

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


(=>
    (instance ?MP AntiArmorPlatoon)
    (exists (?MG)
        (and
            (instance ?MG AntiArmorWeapon)
            (possesses ?MP ?MG))))		 MilitaryPersons.kif 617-622


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