Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
RevolverGun(revolver gun)
more pictures... |  | revolver, six-gun, six-shooter |
| appearance as argument number 1 |
|
|
| (subclass RevolverGun Handgun) | Mid-level-ontology.kif 2103-2103 | Revolver gun is a subclass of hand gun |
| (documentation RevolverGun EnglishLanguage "A Handgun whose magazine is a revolving cylinder with multiple chambers, each holding a single cartridge, for Bullets. Because most revolver models hold six cartridges before needing to be reloaded, revolvers are commonly called six shooters or sixguns. [Wikipedia]") | Mid-level-ontology.kif 2104-2107 | Revolver gun is a subclass of hand gun |
| (externalImage RevolverGun "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Le_Mat_Revolver.jpg") | pictureList.kif 8684-8684 | Revolver gun is a subclass of hand gun |
| (externalImage RevolverGun "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Webley_Mk_IV_p1030100.jpg") | pictureList.kif 9595-9595 | Revolver gun is a subclass of hand gun |
| (externalImage RevolverGun "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Colt_New_Service_1370.jpg") | pictureList.kif 9596-9596 | Revolver gun is a subclass of hand gun |
| (externalImage RevolverGun "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ Revolver_swingout.jpg") | pictureList.kif 9597-9597 | Revolver gun is a subclass of hand gun |
| (externalImage RevolverGun "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6a/ Python_nickel.jpg") | pictureList.kif 9598-9598 | Revolver gun is a subclass of hand gun |
| (externalImage RevolverGun "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Anaconda-500.jpg") | pictureList.kif 9599-9599 | Revolver gun is a subclass of hand gun |
| (externalImage RevolverGun "http://upload.wikimedia.org/wikipedia/commons/ f/ ff/ SW_625-JH02.jpg") | pictureList.kif 9600-9600 | Revolver gun is a subclass of hand gun |
| appearance as argument number 2 |
|
|
| (partTypes GunCylinder RevolverGun) | Mid-level-ontology.kif 2150-2150 | Every gun cylinder is a part of a revolver gun |
| (termFormat EnglishLanguage RevolverGun "revolver gun") | domainEnglishFormat.kif 49875-49875 | Every gun cylinder is a part of a revolver gun |
| (termFormat ChineseTraditionalLanguage RevolverGun "左輪手槍") | domainEnglishFormat.kif 49876-49876 | Every gun cylinder is a part of a revolver gun |
| (termFormat ChineseLanguage RevolverGun "左轮手枪") | domainEnglishFormat.kif 49877-49877 | Every gun cylinder is a part of a revolver gun |
| antecedent |
|
|
| (=> (instance ?GUN RevolverGun) (exists (?CY ?COLL ?C ?BC) (and (part ?CY ?GUN) (instance ?CY GunCylinder) (part ?COLL ?CY) (instance ?COLL CollectionOfObjects) (member ?C ?COLL) (instance ?C GunChamber) (contains ?C ?BC) (instance ?BC BulletCartridge) (not (exists (?BC2) (and (instance ?BC2 BulletCartridge) (not (equal ?BC ?BC2)) (contains ?C ?BC2))))))) |
Mid-level-ontology.kif 2110-2128 | If X is an instance of revolver gun, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a part of X (3) Y is an instance of gun cylinder (4) Z is a part of Y (5) Z is an instance of collection (6) W is a member of Z (7) W is an instance of gun chamber (8) W contains V (9) V is an instance of bullet cartridge (10) there doesn't exist U such that U is an instance of bullet cartridge (11) equal V (12) U (13) W contains U |
| (=> (and (instance ?GUN RevolverGun) (part ?CY ?GUN) (instance ?CY GunCylinder)) (modalAttribute (exists (?COLL) (and (part ?COLL ?CY) (instance ?COLL CollectionOfObjects) (memberType ?COLL GunChamber) (memberCount ?COLL 6))) Likely)) |
Mid-level-ontology.kif 2130-2141 | If X is an instance of revolver gun, Y is a part of X, and Y is an instance of gun cylinder, then the statement there exists Z such that Z is a part of Y, Z is an instance of collection, gun chamber is a member type of Z, and 6 is a member count of Z has the modal force of likely |
|