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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AutomaticGun

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 1567-1568
(externalImage AutomaticGun "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ Automatic_weapons_at_gun_range%2C_Las_Vegas.jpg") pictureList.kif 4517-4517
(subclass AutomaticGun Gun) Mid-level-ontology.kif 1566-1566 AutomaticGunGunsubclass では %n

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


(subclass GatlingGun AutomaticGun) MilitaryDevices.kif 927-927 GatlingGunAutomaticGunsubclass では %n
(subclass HeavyMachineGun AutomaticGun) MilitaryDevices.kif 450-450 HeavyMachineGunAutomaticGunsubclass では %n
(subclass M240 AutomaticGun) MilitaryDevices.kif 358-358 M240AutomaticGunsubclass では %n
(subclass M60 AutomaticGun) MilitaryDevices.kif 410-410 M60AutomaticGunsubclass では %n
(termFormat ChineseLanguage AutomaticGun "自动枪") domainEnglishFormat.kif 9180-9180
(termFormat ChineseTraditionalLanguage AutomaticGun "自動槍") domainEnglishFormat.kif 9179-9179
(termFormat EnglishLanguage AutomaticGun "automatic gun") domainEnglishFormat.kif 9178-9178

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 1569-1584

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 1586-1597


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