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, 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 1784-1785
(externalImage AutomaticGun "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ Automatic_weapons_at_gun_range%2C_Las_Vegas.jpg") pictureList.kif 4516-4516
(subclass AutomaticGun Gun) Mid-level-ontology.kif 1783-1783 Automatic gun is a subclass of gun

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


(subclass GatlingGun AutomaticGun) MilitaryDevices.kif 1084-1084 Gatling gun is a subclass of automatic gun
(subclass HeavyMachineGun AutomaticGun) MilitaryDevices.kif 607-607 Heavy machine gun is a subclass of automatic gun
(subclass M240 AutomaticGun) MilitaryDevices.kif 515-515 M240 is a subclass of automatic gun
(subclass M60 AutomaticGun) MilitaryDevices.kif 567-567 M60 is a subclass of automatic gun
(termFormat ChineseLanguage AutomaticGun "自动枪") domainEnglishFormat.kif 9181-9181 M60 is a subclass of automatic gun
(termFormat ChineseTraditionalLanguage AutomaticGun "自動槍") domainEnglishFormat.kif 9180-9180 M60 is a subclass of automatic gun
(termFormat EnglishLanguage AutomaticGun "automatic gun") domainEnglishFormat.kif 9179-9179 M60 is a subclass of automatic gun

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 1786-1801

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


(=>
    (instance ?AB InfantryUnit)
    (exists (?AC)
        (and
            (or
                (instance ?AC AutomaticGun)
                (instance ?AC Firearm)
                (instance ?AC MortarGun)
                (instance ?AC LandMine))
            (possesses ?AB ?AC))))
Military.kif 753-762
(=>
    (instance ?APC APC)
    (exists (?MG)
        (and
            (instance ?MG AutomaticGun)
            (part ?MG ?APC))))
MilitaryDevices.kif 1746-1751
(=>
    (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 1803-1814


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