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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AntiTankWeapon

Sigma KEE - AntiTankWeapon
AntiTankWeapon

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


(documentation AntiTankWeapon EnglishLanguage "A weapon primarily designed to destroy tanks and other armored vehicles. Most often these weapons are (self-guided) missiles.") MilitaryDevices.kif 868-870
(externalImage AntiTankWeapon "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Lockheed_Martin_Longbow_Hellfire.jpg") pictureList.kif 2745-2745
(externalImage AntiTankWeapon "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ 9K115_Metys.jpg") pictureList.kif 2641-2641
(externalImage AntiTankWeapon "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ AGM-65_Maverick_MG_1382.jpg") pictureList.kif 2746-2746
(subclass AntiTankWeapon AntiArmorWeapon) MilitaryDevices.kif 867-867 AntiTankWeapon ist eine teilkategorie von AntiArmorWeapon

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


(subclass AntiTankMissile AntiTankWeapon) MilitaryDevices.kif 884-884 AntiTankMissile ist eine teilkategorie von AntiTankWeapon
(subclass JavelinWeapon AntiTankWeapon) MilitaryDevices.kif 719-719 JavelinWeapon ist eine teilkategorie von AntiTankWeapon
(termFormat ChineseLanguage AntiTankWeapon "反坦克武器") domainEnglishFormat.kif 7914-7914
(termFormat ChineseTraditionalLanguage AntiTankWeapon "反坦克武器") domainEnglishFormat.kif 7913-7913
(termFormat EnglishLanguage AntiTankWeapon "anti tank weapon") domainEnglishFormat.kif 7912-7912
(termFormat EnglishLanguage AntiTankWeapon "anti-tank weapon") MilitaryDevices.kif 2057-2057

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


(=>
    (instance ?W AntiTankWeapon)
    (hasPurpose ?W
        (exists (?DAMAGING ?V)
            (and
                (instance ?DAMAGING Damaging)
                (instrument ?DAMAGING ?W)
                (patient ?DAMAGING ?V)
                (instance ?V ArmoredVehicle)))))
MilitaryDevices.kif 874-882


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