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 654-655
(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 653-653 反装甲武器 是 武器 的 subclass

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


(subclass AGM114 AntiArmorWeapon) MilitaryDevices.kif 1205-1205 AG m114 是 反装甲武器 的 subclass
(subclass AGM65 AntiArmorWeapon) MilitaryDevices.kif 1138-1138 AG m65 是 反装甲武器 的 subclass
(subclass AntiTankWeapon AntiArmorWeapon) MilitaryDevices.kif 867-867 反坦克武器 是 反装甲武器 的 subclass
(subclass DragonWeapon AntiArmorWeapon) MilitaryDevices.kif 669-669 龙武器 是 反装甲武器 的 subclass
(subclass GAU12U AntiArmorWeapon) MilitaryDevices.kif 299-299 GAU12U 是 反装甲武器 的 subclass
(subclass M242 AntiArmorWeapon) MilitaryDevices.kif 264-264 M242 是 反装甲武器 的 subclass
(subclass RPG AntiArmorWeapon) MilitaryDevices.kif 1300-1300 RPG 是 反装甲武器 的 subclass
(subclass SMAWBunkerBuster AntiArmorWeapon) MilitaryDevices.kif 779-779 SMAW掩体破坏者 是 反装甲武器 的 subclass
(termFormat ChineseLanguage AntiArmorWeapon "反装甲武器") domainEnglishFormat.kif 7836-7836
(termFormat ChineseTraditionalLanguage AntiArmorWeapon "反裝甲武器") domainEnglishFormat.kif 7835-7835
(termFormat EnglishLanguage AntiArmorWeapon "anti armor weapon") domainEnglishFormat.kif 7834-7834
(termFormat EnglishLanguage AntiArmorWeapon "anti-armor weapon") MilitaryDevices.kif 2052-2052

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


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

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


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


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 is open source software produced by Articulate Software and its partners