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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AutomaticGun
AutomaticGun(automatic gun)
Maxim_gun, automatic_gun, machine_gun, 自动枪, 自動槍

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


(documentation AutomaticGun EnglishLanguage "A Gun that fires a burst of Projectiles with each pull of the trigger. Also known as a machine gun.") Mid-level-ontology.kif 1971-1972
(externalImage AutomaticGun "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ Automatic_weapons_at_gun_range%2C_Las_Vegas.jpg") pictureList.kif 4518-4518 "http://upload.wikimedia.org/wikipedia/commons/9/94/ Automatic_weapons_at_gun_range%2C_Las_Vegas.jpg" is a URL depicting automatic gun
(subclass AutomaticGun Gun) Mid-level-ontology.kif 1970-1970 Automatic gun is a subclass of gun

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


(subclass GatlingGun AutomaticGun) MilitaryDevices.kif 927-927 Gatling gun is a subclass of automatic gun
(subclass HeavyMachineGun AutomaticGun) MilitaryDevices.kif 450-450 Heavy machine gun is a subclass of automatic gun
(subclass M240 AutomaticGun) MilitaryDevices.kif 358-358 M240 is a subclass of automatic gun
(subclass M60 AutomaticGun) MilitaryDevices.kif 410-410 M60 is a subclass of automatic gun
(termFormat ChineseLanguage AutomaticGun "自动枪") domainEnglishFormat.kif 9193-9193 "自动枪" is the printable form of automatic gun in ChineseLanguage
(termFormat ChineseTraditionalLanguage AutomaticGun "自動槍") domainEnglishFormat.kif 9192-9192 "自動槍" is the printable form of automatic gun in ChineseTraditionalLanguage
(termFormat EnglishLanguage AutomaticGun "automatic gun") domainEnglishFormat.kif 9191-9191 "automatic gun" is the printable form of automatic gun in english language

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


(=>
    (instance ?G AutomaticGun)
    (hasPurpose ?G
        (exists (?S1 ?S2 ?P ?T)
            (and
                (instance ?P Pulling)
                (instance ?T GunTrigger)
                (patient ?P ?T)
                (part ?T ?G)
                (instance ?S1 Shooting)
                (instance ?S2 Shooting)
                (instrument ?S1 ?G)
                (instrument ?S2 ?G)
                (not
                    (equal ?S1 ?S2))
                (causes ?P ?S1)
                (causes ?P ?S2)))))
Mid-level-ontology.kif 1973-1988

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


(=>
    (instance ?AB InfantryUnit)
    (exists (?AC)
        (and
            (or
                (instance ?AC AutomaticGun)
                (instance ?AC Firearm)
                (instance ?AC MortarGun)
                (instance ?AC ExplosiveMine))
            (possesses ?AB ?AC))))
Military.kif 676-685
(=>
    (instance ?APC APC)
    (exists (?MG)
        (and
            (instance ?MG AutomaticGun)
            (part ?MG ?APC))))
MilitaryDevices.kif 1589-1594
(=>
    (instance ?T GunTrigger)
    (hasPurpose ?T
        (exists (?S ?G ?P)
            (and
                (instance ?G AutomaticGun)
                (part ?T ?G)
                (patient ?P ?T)
                (instance ?P Pulling)
                (instance ?S Shooting)
                (instrument ?S ?G)
                (causes ?P ?S)))))
Mid-level-ontology.kif 1990-2001


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