| 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 1783-1784 | |
| (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 1782-1782 |
| appearance as argument number 2 |
|
|
| (subclass GatlingGun AutomaticGun) | MilitaryDevices.kif 927-927 | |
| (subclass HeavyMachineGun AutomaticGun) | MilitaryDevices.kif 450-450 | |
| (subclass M240 AutomaticGun) | MilitaryDevices.kif 358-358 | |
| (subclass M60 AutomaticGun) | MilitaryDevices.kif 410-410 | |
| (termFormat ChineseLanguage AutomaticGun "自动枪") | domainEnglishFormat.kif 9187-9187 | |
| (termFormat ChineseTraditionalLanguage AutomaticGun "自動槍") | domainEnglishFormat.kif 9186-9186 | |
| (termFormat EnglishLanguage AutomaticGun "automatic gun") | domainEnglishFormat.kif 9185-9185 |
| 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 1785-1800 |
| 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 743-752 | |
| (=> (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 1802-1813 |
|
|
|