| 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 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 |
| appearance as argument number 2 |
|
|
| (subclass GatlingGun AutomaticGun) | MilitaryDevices.kif 1084-1084 | |
| (subclass HeavyMachineGun AutomaticGun) | MilitaryDevices.kif 607-607 | |
| (subclass M240 AutomaticGun) | MilitaryDevices.kif 515-515 | |
| (subclass M60 AutomaticGun) | MilitaryDevices.kif 567-567 | |
| (termFormat ChineseLanguage AutomaticGun "自动枪") | domainEnglishFormat.kif 9181-9181 | |
| (termFormat ChineseTraditionalLanguage AutomaticGun "自動槍") | domainEnglishFormat.kif 9180-9180 | |
| (termFormat EnglishLanguage AutomaticGun "automatic gun") | domainEnglishFormat.kif 9179-9179 |
| 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 |
|
|
|