Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  AutomaticGun

 Sigma KEE - AutomaticGun
AutomaticGun(automatic gun)
Maxim_gun, machine_gun

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


(subclass AutomaticGun Gun) Mid-level-ontology.kif 1852-1852 Automatic gun is a subclass of gun
(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 1853-1854 Automatic gun is a subclass of gun
(defaultMinimumMeasure AutomaticGun
    (MeasureFn 5 PoundMass))		 DimensioningAmenities.kif 1011-1011 The minimum expected value of automatic gun is 5 pound mass(s)
(defaultMaximumMeasure AutomaticGun
    (MeasureFn 40 PoundMass))		 DimensioningAmenities.kif 1012-1012 The maximum expected value of automatic gun is 40 pound mass(s)
(defaultMinimumLength AutomaticGun
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 1013-1013 The minimum expected length of automatic gun is 12 inch(s)
(defaultMaximumLength AutomaticGun
    (MeasureFn 48 Inch))		 DimensioningAmenities.kif 1014-1014 The maximum expected length of automatic gun is 48 inch(s)
(externalImage AutomaticGun "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ Automatic_weapons_at_gun_range%2C_Las_Vegas.jpg") pictureList.kif 4516-4516 The maximum expected length of automatic gun is 48 inch(s)

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


(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
(subclass HeavyMachineGun AutomaticGun) MilitaryDevices.kif 607-607 Heavy machine gun is a subclass of automatic gun
(subclass GatlingGun AutomaticGun) MilitaryDevices.kif 1084-1084 Gatling gun is a subclass of automatic gun
(termFormat EnglishLanguage AutomaticGun "automatic gun") domainEnglishFormat.kif 9178-9178 Gatling gun is a subclass of automatic gun
(termFormat ChineseTraditionalLanguage AutomaticGun "自動槍") domainEnglishFormat.kif 9179-9179 Gatling gun is a subclass of automatic gun
(termFormat ChineseLanguage AutomaticGun "自动枪") domainEnglishFormat.kif 9180-9180 Gatling gun 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 1855-1870 If X is an instance of automatic gun, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of pulling (3) V is an instance of gun trigger (4) V is a patient of W (5) V is a part of X (6) Y is an instance of shooting (7) Z is an instance of shooting (8) X is an instrument for Y (9) X is an instrument for Z (10) equal Y (11) Z (12) W causes Y (13) W causes Z

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


(=>
    (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 1872-1883 If X is an instance of gun trigger, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Z is an instance of automatic gun (3) X is a part of Z (4) X is a patient of W (5) W is an instance of pulling (6) Y is an instance of shooting (7) Z is an instrument for Y (8) W causes Y
(=>
    (instance ?AB InfantryUnit)
    (exists (?AC)
        (and
            (or
                (instance ?AC AutomaticGun)
                (instance ?AC Firearm)
                (instance ?AC MortarGun)
                (instance ?AC LandMine))
            (possesses ?AB ?AC))))		 Military.kif 951-960 If X is an instance of infantry unit, then there exists Y such that Y is an instance of automatic gun, Y is an instance of firearm, Y is an instance of mortar gun, or Y is an instance of land mine and X possesses Y
(=>
    (instance ?APC APC)
    (exists (?MG)
        (and
            (instance ?MG AutomaticGun)
            (part ?MG ?APC))))		 MilitaryDevices.kif 1746-1751 If X is an instance of APC, then there exists Y such that Y is an instance of automatic gun and Y is a part of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners