RevolverGun - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - RevolverGun

RevolverGun(revolver gun)

more pictures...

revolver, six-gun, six-shooter

appearance as argument number 1

(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 2034-2037
(externalImage RevolverGun "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Le_Mat_Revolver.jpg")	pictureList.kif 8684-8684
(externalImage RevolverGun "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Webley_Mk_IV_p1030100.jpg")	pictureList.kif 9595-9595
(externalImage RevolverGun "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Colt_New_Service_1370.jpg")	pictureList.kif 9596-9596
(externalImage RevolverGun "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ Revolver_swingout.jpg")	pictureList.kif 9597-9597
(externalImage RevolverGun "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6a/ Python_nickel.jpg")	pictureList.kif 9598-9598
(externalImage RevolverGun "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Anaconda-500.jpg")	pictureList.kif 9599-9599
(externalImage RevolverGun "http://upload.wikimedia.org/wikipedia/commons/ f/ ff/ SW_625-JH02.jpg")	pictureList.kif 9600-9600
(subclass RevolverGun Handgun)	Mid-level-ontology.kif 2033-2033	Revolver gun is a subclass of hand gun

appearance as argument number 2

(partTypes GunCylinder RevolverGun)	Mid-level-ontology.kif 2080-2080	Every gun cylinder is a part of a revolver gun
(termFormat ChineseLanguage RevolverGun "左轮手枪")	domainEnglishFormat.kif 49913-49913	Every gun cylinder is a part of a revolver gun
(termFormat ChineseTraditionalLanguage RevolverGun "左輪手槍")	domainEnglishFormat.kif 49912-49912	Every gun cylinder is a part of a revolver gun
(termFormat EnglishLanguage RevolverGun "revolver gun")	domainEnglishFormat.kif 49911-49911	Every gun cylinder is a part of a revolver gun

antecedent

(=> (and (instance ?GUN RevolverGun) (part ?CY ?GUN) (instance ?CY GunCylinder)) (modalAttribute (exists (?COLL) (and (part ?COLL ?CY) (instance ?COLL Collection) (memberType ?COLL GunChamber) (memberCount ?COLL 6))) Likely))	Mid-level-ontology.kif 2060-2071	If an object is an instance of revolver gun and another object is a part of the object and the other object is an instance of gun cylinder, then the statement there exists an entity such that the entity is a part of the other object and the entity is an instance of collection and gun chamber is a member type of the entity and 6 is a member count of the entity has the modal force of likely
(=> (instance ?GUN RevolverGun) (exists (?CY ?COLL ?C ?BC) (and (part ?CY ?GUN) (instance ?CY GunCylinder) (part ?COLL ?CY) (instance ?COLL Collection) (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 2040-2058	If an object is an instance of revolver gun, then there exist another object, a collection,, , a self connected object and a third object such that the other object is a part of the object and the other object is an instance of gun cylinder and the collection is a part of the other object and the collection is an instance of collection and the self connected object is a member of the collection and the self connected object is an instance of gun chamber and the self connected object contains the third object and the third object is an instance of bullet cartridge and there doesn't exist the third object2 such that the third object2 is an instance of bullet cartridge and the third object is not equal to the third object2 and the self connected object contains the third object2

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners