Gun(gun) | Thompson_submachine_gun, Tommy_gun, Uzi, air_gun, air_rifle, airgun, breechloader, gas_gun, gun, gun_pendulum, light_arm, minute_gun, set_gun, spring_gun, submachine_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 | Gun is exhaustively partitioned into artillery gun and firearm |
(subclass Gun ProjectileLauncher) | Mid-level-ontology.kif 1161-1161 | Gun is a subclass of projectile launcher |
(subclass Gun Weapon) | Mid-level-ontology.kif 1160-1160 | Gun is a subclass of weapon |
appearance as argument number 2 |
(subclass ArtilleryGun Gun) | Mid-level-ontology.kif 1599-1599 | Artillery gun is a subclass of gun |
(subclass AutomaticGun Gun) | Mid-level-ontology.kif 1566-1566 | Automatic gun is a subclass of gun |
(subclass Firearm Gun) | Mid-level-ontology.kif 1603-1603 | Firearm is a subclass of gun |
(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 | A gun trigger is typically a part of a gun |
(typicallyContainsPart GunTrigger Gun) | Mid-level-ontology.kif 1366-1366 | A gun typically has a part gun trigger |
appearance as argument number 3 |
(domainSubclass caliber 1 Gun) | MilitaryDevices.kif 211-211 | The number 1 argument of caliber is a subclass of gun |
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 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 |
|