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 | 枪 详尽无遗地 partition 成 火炮枪 和 火器 |
(subclass Gun ProjectileLauncher) | Mid-level-ontology.kif 1227-1227 | 枪 是 抛射物发射器 的 subclass |
(subclass Gun Weapon) | Mid-level-ontology.kif 1226-1226 | 枪 是 武器 的 subclass |
appearance as argument number 2 |
![]() |
(subclass ArtilleryGun Gun) | Mid-level-ontology.kif 1816-1816 | 火炮枪 是 枪 的 subclass |
(subclass AutomaticGun Gun) | Mid-level-ontology.kif 1783-1783 | 自动枪 是 枪 的 subclass |
(subclass Firearm Gun) | Mid-level-ontology.kif 1850-1850 | 火器 是 枪 的 subclass |
(termFormat ChineseLanguage Gun "枪") | domainEnglishFormat.kif 27089-27089 | 火器 是 枪 的 subclass |
(termFormat ChineseTraditionalLanguage Gun "槍") | domainEnglishFormat.kif 27088-27088 | 火器 是 枪 的 subclass |
(termFormat EnglishLanguage Gun "gun") | domainEnglishFormat.kif 27087-27087 | 火器 是 枪 的 subclass |
(typicalPart GunTrigger Gun) | Mid-level-ontology.kif 1582-1582 | 枪扳机 typically 是 枪 的 part |
(typicallyContainsPart GunTrigger Gun) | Mid-level-ontology.kif 1583-1583 | 枪 typically 有 part 枪扳机 |
appearance as argument number 3 |
![]() |
(domainSubclass caliber 1 Gun) | MilitaryDevices.kif 368-368 | 口径 的 1 数量 是 枪 的 subclass |
antecedent |
![]() |
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 |
![]() |
![]() |