| Gun(枪)
| |
| appearance as argument number 1 |
|
|
| (documentation Gun EnglishLanguage "A Weapon that shoots a Projectile.") | Mid-level-ontology.kif 1101-1101 | |
| (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 1100-1100 | 枪 详尽无遗地 partition 成 火炮枪 和 火器 |
| (subclass Gun ProjectileLauncher) | Mid-level-ontology.kif 1099-1099 | 枪 是 抛射物发射器 的 subclass |
| (subclass Gun Weapon) | Mid-level-ontology.kif 1098-1098 | 枪 是 武器 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass ArtilleryGun Gun) | Mid-level-ontology.kif 1536-1536 | 火炮枪 是 枪 的 subclass |
| (subclass AutomaticGun Gun) | Mid-level-ontology.kif 1503-1503 | 自动枪 是 枪 的 subclass |
| (subclass Firearm Gun) | Mid-level-ontology.kif 1540-1540 | 火器 是 枪 的 subclass |
| (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 1304-1304 | 枪扳机 typically 是 枪 的 part |
| (typicallyContainsPart GunTrigger Gun) | Mid-level-ontology.kif 1305-1305 | 枪 typically 有 part 枪扳机 |
| appearance as argument number 3 |
|
|
| (domainSubclass caliber 1 Gun) | MilitaryDevices.kif 211-211 | 口径 的 1 数量 是 枪 的 subclass |
| 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 1173-1185 | |
| (=> (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 1355-1373 | |
| (=> (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 1334-1351 | |
| (=> (instance ?GUN Gun) (capability Shooting instrument ?GUN)) |
Mid-level-ontology.kif 1103-1105 |
| 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 1122-1130 | |
| (=> (instance ?B GunBarrel) (exists (?G) (and (instance ?G Gun) (part ?B ?G)))) |
Mid-level-ontology.kif 1166-1171 | |
| (=> (instance ?SHOOT Shooting) (exists (?PROJECTILE ?GUN) (and (instance ?PROJECTILE Projectile) (patient ?SHOOT ?PROJECTILE) (instance ?GUN Gun) (instrument ?SHOOT ?GUN)))) |
Mid-level-ontology.kif 1107-1114 | |
| (=> (instance ?STOCK GunStock) (exists (?GUN) (and (instance ?GUN Gun) (part ?STOCK ?GUN)))) |
Mid-level-ontology.kif 1379-1384 |
|
|
|