|
|
   Gun
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Gun EnglishLanguage "A Weapon that shoots a Projectile.") | Mid-level-ontology.kif 1163-1163 | |
| (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 1162-1162 | 枪 详尽无遗地 partition 成 火炮枪 和 火器 |
| (subclass Gun ProjectileLauncher) | Mid-level-ontology.kif 1161-1161 | 枪 是 抛射物发射器 的 subclass |
| (subclass Gun Weapon) | Mid-level-ontology.kif 1160-1160 | 枪 是 武器 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass ArtilleryGun Gun) | Mid-level-ontology.kif 1599-1599 | 火炮枪 是 枪 的 subclass |
| (subclass AutomaticGun Gun) | Mid-level-ontology.kif 1566-1566 | 自动枪 是 枪 的 subclass |
| (subclass Firearm Gun) | Mid-level-ontology.kif 1603-1603 | 火器 是 枪 的 subclass |
| (termFormat ChineseLanguage Gun "枪") | domainEnglishFormat.kif 27078-27078 | |
| (termFormat ChineseTraditionalLanguage Gun "槍") | domainEnglishFormat.kif 27077-27077 | |
| (termFormat EnglishLanguage Gun "gun") | domainEnglishFormat.kif 27076-27076 | |
| (typicalPart GunTrigger Gun) | Mid-level-ontology.kif 1365-1365 | 枪扳机 typically 是 枪 的 part |
| (typicallyContainsPart GunTrigger Gun) | Mid-level-ontology.kif 1366-1366 | 枪 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 1235-1247 | |
| (=> (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 1417-1436 | |
| (=> (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 1395-1413 | |
| (=> (instance ?GUN Gun) (capability Shooting instrument ?GUN)) |
Mid-level-ontology.kif 1165-1167 |
| 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 1184-1192 | |
| (=> (instance ?B GunBarrel) (exists (?G) (and (instance ?G Gun) (part ?B ?G)))) |
Mid-level-ontology.kif 1228-1233 | |
| (=> (instance ?SHOOT Shooting) (exists (?PROJECTILE ?GUN) (and (instance ?PROJECTILE Projectile) (patient ?SHOOT ?PROJECTILE) (instance ?GUN Gun) (instrument ?SHOOT ?GUN)))) |
Mid-level-ontology.kif 1169-1176 | |
| (=> (instance ?STOCK GunStock) (exists (?GUN) (and (instance ?GUN Gun) (part ?STOCK ?GUN)))) |
Mid-level-ontology.kif 1442-1447 |
|
|
|
