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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AntiArmorWeapon

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 653-654
(externalImage AntiArmorWeapon "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 94/ TOW_fired_from_Jeep.jpg/ 250px-TOW_fired_from_Jeep.jpg") pictureList.kif 1305-1305
(subclass AntiArmorWeapon Weapon) MilitaryDevices.kif 652-652

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


(subclass AGM114 AntiArmorWeapon) MilitaryDevices.kif 1204-1204
(subclass AGM65 AntiArmorWeapon) MilitaryDevices.kif 1137-1137
(subclass AntiTankWeapon AntiArmorWeapon) MilitaryDevices.kif 866-866
(subclass DragonWeapon AntiArmorWeapon) MilitaryDevices.kif 668-668
(subclass GAU12U AntiArmorWeapon) MilitaryDevices.kif 298-298
(subclass M242 AntiArmorWeapon) MilitaryDevices.kif 263-263
(subclass RPG AntiArmorWeapon) MilitaryDevices.kif 1299-1299
(subclass SMAWBunkerBuster AntiArmorWeapon) MilitaryDevices.kif 778-778
(termFormat EnglishLanguage AntiArmorWeapon "anti armor weapon") domainEnglishFormat.kif 1740-1740
(termFormat EnglishLanguage AntiArmorWeapon "anti-armor weapon") MilitaryDevices.kif 2051-2051

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


(=>
    (instance ?W AntiArmorWeapon)
    (hasPurpose ?W
        (exists (?DAMAGING ?ARMOR)
            (and
                (instance ?DAMAGING Damaging)
                (instrument ?DAMAGING ?W)
                (patient ?DAMAGING ?ARMOR)
                (instance ?ARMOR Armor)))))
MilitaryDevices.kif 658-666

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners