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 | Gun は ArtilleryGun + Firearm に exhaustively partitioned |
(subclass Gun ProjectileLauncher) | Mid-level-ontology.kif 1227-1227 | Gun は ProjectileLauncher の subclass では |
(subclass Gun Weapon) | Mid-level-ontology.kif 1226-1226 | Gun は 武器 の subclass では |
appearance as argument number 2 |
![]() |
(subclass ArtilleryGun Gun) | Mid-level-ontology.kif 1816-1816 | ArtilleryGun は Gun の subclass では |
(subclass AutomaticGun Gun) | Mid-level-ontology.kif 1783-1783 | AutomaticGun は Gun の subclass では |
(subclass Firearm Gun) | Mid-level-ontology.kif 1850-1850 | Firearm は Gun の subclass では |
(termFormat ChineseLanguage Gun "枪") | domainEnglishFormat.kif 27089-27089 | Firearm は Gun の subclass では |
(termFormat ChineseTraditionalLanguage Gun "槍") | domainEnglishFormat.kif 27088-27088 | Firearm は Gun の subclass では |
(termFormat EnglishLanguage Gun "gun") | domainEnglishFormat.kif 27087-27087 | Firearm は Gun の subclass では |
(typicalPart GunTrigger Gun) | Mid-level-ontology.kif 1582-1582 | typicalPart GunTrigger and Gun |
(typicallyContainsPart GunTrigger Gun) | Mid-level-ontology.kif 1583-1583 | typicallyContainsPart GunTrigger and 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 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 |
![]() |
![]() |