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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AutomaticGun
AutomaticGun

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 1505-1506
(externalImage AutomaticGun "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ Automatic_weapons_at_gun_range%2C_Las_Vegas.jpg") pictureList.kif 4518-4518
(subclass AutomaticGun Gun) Mid-level-ontology.kif 1504-1504 subclass AutomaticGun and Gun

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


(subclass GatlingGun AutomaticGun) MilitaryDevices.kif 927-927 subclass GatlingGun and AutomaticGun
(subclass HeavyMachineGun AutomaticGun) MilitaryDevices.kif 450-450 subclass HeavyMachineGun and AutomaticGun
(subclass M240 AutomaticGun) MilitaryDevices.kif 358-358 subclass M240 and AutomaticGun
(subclass M60 AutomaticGun) MilitaryDevices.kif 410-410 subclass M60 and AutomaticGun
(termFormat ChineseLanguage AutomaticGun "自动枪") domainEnglishFormat.kif 9189-9189
(termFormat ChineseTraditionalLanguage AutomaticGun "自動槍") domainEnglishFormat.kif 9188-9188
(termFormat EnglishLanguage AutomaticGun "automatic gun") domainEnglishFormat.kif 9187-9187

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 1507-1522

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 1524-1535


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