|
|
   Gun
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Gun EnglishLanguage "A Weapon that shoots a Projectile.") | Mid-level-ontology.kif 1120-1120 | |
| (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 1119-1119 | |
| (subclass Gun ProjectileLauncher) | Mid-level-ontology.kif 1118-1118 | |
| (subclass Gun Weapon) | Mid-level-ontology.kif 1117-1117 |
| appearance as argument number 2 |
|
|
| (subclass ArtilleryGun Gun) | Mid-level-ontology.kif 1554-1554 | |
| (subclass AutomaticGun Gun) | Mid-level-ontology.kif 1521-1521 | |
| (subclass Firearm Gun) | Mid-level-ontology.kif 1558-1558 | |
| (termFormat ChineseLanguage Gun "枪") | domainEnglishFormat.kif 27069-27069 | |
| (termFormat ChineseTraditionalLanguage Gun "槍") | domainEnglishFormat.kif 27068-27068 | |
| (termFormat EnglishLanguage Gun "gun") | domainEnglishFormat.kif 27067-27067 | |
| (typicalPart GunTrigger Gun) | Mid-level-ontology.kif 1322-1322 | |
| (typicallyContainsPart GunTrigger Gun) | Mid-level-ontology.kif 1323-1323 |
| appearance as argument number 3 |
|
|
| (domainSubclass caliber 1 Gun) | MilitaryDevices.kif 211-211 |
| 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 1192-1204 | |
| (=> (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)) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN)) |
Mid-level-ontology.kif 1373-1391 | |
| (=> (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)) (capability (KappaFn ?DAMAGING (and (instance ?DAMAGING Damaging) (patient ?DAMAGING ?O))) instrument ?GUN)) |
Mid-level-ontology.kif 1352-1369 | |
| (=> (instance ?GUN Gun) (capability Shooting instrument ?GUN)) |
Mid-level-ontology.kif 1122-1124 |
| 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 1141-1149 | |
| (=> (instance ?B GunBarrel) (exists (?G) (and (instance ?G Gun) (part ?B ?G)))) |
Mid-level-ontology.kif 1185-1190 | |
| (=> (instance ?SHOOT Shooting) (exists (?PROJECTILE ?GUN) (and (instance ?PROJECTILE Projectile) (patient ?SHOOT ?PROJECTILE) (instance ?GUN Gun) (instrument ?SHOOT ?GUN)))) |
Mid-level-ontology.kif 1126-1133 | |
| (=> (instance ?STOCK GunStock) (exists (?GUN) (and (instance ?GUN Gun) (part ?STOCK ?GUN)))) |
Mid-level-ontology.kif 1397-1402 |
|
|
|
