| Gun
| |
| appearance as argument number 1 |
|
|
| (documentation Gun EnglishLanguage "A Weapon that shoots a Projectile.") | Mid-level-ontology.kif 1229-1229 | |
| (externalImage Gun "http://upload.wikimedia.org/wikipedia/commons/0/06/Pistol_Browning_SFS.jpg") | pictureList.kif 106-106 | |
| (partition Gun ArtilleryGun Firearm) | Mid-level-ontology.kif 1228-1228 | |
| (subclass Gun ProjectileLauncher) | Mid-level-ontology.kif 1227-1227 | |
| (subclass Gun Weapon) | Mid-level-ontology.kif 1226-1226 |
| appearance as argument number 2 |
|
|
| (subclass ArtilleryGun Gun) | Mid-level-ontology.kif 1816-1816 | |
| (subclass AutomaticGun Gun) | Mid-level-ontology.kif 1783-1783 | |
| (subclass Firearm Gun) | Mid-level-ontology.kif 1850-1850 | |
| (termFormat ChineseLanguage Gun "枪") | domainEnglishFormat.kif 27089-27089 | |
| (termFormat ChineseTraditionalLanguage Gun "槍") | domainEnglishFormat.kif 27088-27088 | |
| (termFormat EnglishLanguage Gun "gun") | domainEnglishFormat.kif 27087-27087 | |
| (typicalPart GunTrigger Gun) | Mid-level-ontology.kif 1582-1582 | |
| (typicallyContainsPart GunTrigger Gun) | Mid-level-ontology.kif 1583-1583 |
| antecedent |
|
|
| (=> (and (instance ?G Gun) (instance ?B GunBarrel) (part ?B ?G) (instance ?S Shooting) (instrument ?S ?G) (patient ?S ?P) (instance ?P Projectile)) (exists (?SUB) (and (subProcess ?SUB ?S) (path ?SUB ?B)))) |
Mid-level-ontology.kif 1301-1313 | |
| (=> (and (instance ?GUN Gun) (instance ?U UnitOfLength) (effectiveRange ?GUN (MeasureFn ?LM ?U)) (distance ?GUN ?O (MeasureFn ?LM1 ?U)) (instance ?O Organism) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (exists (?KILLING) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN))) |
Mid-level-ontology.kif 1634-1653 | |
| (=> (and (instance ?GUN Gun) (instance ?U UnitOfLength) (effectiveRange ?GUN (MeasureFn ?LM ?U)) (distance ?GUN ?O (MeasureFn ?LM1 ?U)) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (exists (?DAMAGING) (capability (KappaFn ?DAMAGING (and (instance ?DAMAGING Damaging) (patient ?DAMAGING ?O))) instrument ?GUN))) |
Mid-level-ontology.kif 1612-1630 | |
| (=> (and (instance ?S Shooting) (instance ?G Gun) (instrument ?S ?G)) (exists (?E ?GB ?B ?C ?M) (and (subProcess ?E ?S) (instance ?E Exiting) (eventLocated ?E ?GB) (instance ?GB GunBarrel) (part ?GB ?G) (objectTransferred ?E ?B) (instance ?B Bullet) (origin ?B ?C) (instance ?C BulletCartridge) (located ?C ?GB) (path ?E ?GB) (entrance ?M ?GB) (instance ?M GunMuzzle)))) |
Mid-level-ontology.kif 1362-1381 | |
| (=> (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G Gun)) (exists (?C ?I ?B) (and (instance ?C GunChamber) (part ?C ?G) (instance ?I Inserting) (instance ?B BulletCartridge) (destination ?I ?C) (objectTransferred ?I ?B) (before (EndFn (WhenFn ?I)) (BeginFn (WhenFn ?S)))))) |
Mid-level-ontology.kif 1337-1352 | |
| (=> (instance ?GUN Gun) (capability Shooting instrument ?GUN)) |
Mid-level-ontology.kif 1231-1233 |
| consequent |
|
|
| (=> (instance ?B Bullet) (hasPurpose ?B (exists (?S ?GUN) (and (instance ?S Shooting) (instrument ?S ?GUN) (instance ?GUN Gun) (patient ?S ?B))))) |
Mid-level-ontology.kif 1250-1258 | |
| (=> (instance ?B GunBarrel) (exists (?G) (and (instance ?G Gun) (part ?B ?G)))) |
Mid-level-ontology.kif 1294-1299 | |
| (=> (instance ?SHOOT Shooting) (exists (?PROJECTILE ?GUN) (and (instance ?PROJECTILE Projectile) (patient ?SHOOT ?PROJECTILE) (instance ?GUN Gun) (instrument ?SHOOT ?GUN)))) |
Mid-level-ontology.kif 1235-1242 | |
| (=> (instance ?STOCK GunStock) (exists (?GUN) (and (instance ?GUN Gun) (part ?STOCK ?GUN)))) |
Mid-level-ontology.kif 1659-1664 |
|
|
|