| 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 1560-1561 | |
| (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 1559-1559 | 自动枪 是 枪 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass GatlingGun AutomaticGun) | MilitaryDevices.kif 927-927 | 加特林机枪 是 自动枪 的 subclass |
| (subclass HeavyMachineGun AutomaticGun) | MilitaryDevices.kif 450-450 | 重机枪 是 自动枪 的 subclass |
| (subclass M240 AutomaticGun) | MilitaryDevices.kif 358-358 | M240 是 自动枪 的 subclass |
| (subclass M60 AutomaticGun) | MilitaryDevices.kif 410-410 | M60 是 自动枪 的 subclass |
| (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 1562-1577 |
|
| 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 1579-1590 |
|
|
|