Pistol - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Pistol EnglishLanguage "A Pistol is a type of Handgun, characterised by a GunBarrel with a single integral chamber.[Wikipedia]")	Mid-level-ontology.kif 2014-2015
(externalImage Pistol "http://articulatesoftware.com/SUMOpictures/armed_services/ Marines/ Pistol_45.png")	pictureList.kif 670-670
(subclass Pistol Handgun)	Mid-level-ontology.kif 2013-2013	Pistol is a subclass of hand gun

appearance as argument number 2

(termFormat ChineseLanguage Pistol "手枪")	domainEnglishFormat.kif 45967-45967
(termFormat ChineseTraditionalLanguage Pistol "手槍")	domainEnglishFormat.kif 45966-45966
(termFormat EnglishLanguage Pistol "pistol")	domainEnglishFormat.kif 45965-45965

antecedent

(=>
    (instance ?GUN Pistol)
    (exists (?B ?C)
        (and
            (part ?B ?GUN)
            (instance ?B GunBarrel)
            (part ?C ?B)
            (instance ?C GunChamber)
            (not
                (exists (?C2)
                    (and
                        (instance ?C2 GunChamber)
                        (part ?C2 ?B)
                        (not
                            (equal ?C ?C2))))))))

Mid-level-ontology.kif 2017-2031

If an object is an instance of pistol,
then there exist another 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 barrel and the third object is a part of the other object and the third object is an instance of gun chamber and there doesn't exist the third object2 such that the third object2 is an instance of gun chamber and the third object2 is a part of the other object and the third object is not equal to the third object2

consequent

(=>
    (instance ?H Holster)
    (hasPurpose ?H
        (exists (?P)
            (and
                (instance ?P Pistol)
                (contains ?H ?P)))))

Mid-level-ontology.kif 2120-2126

If a physical is an instance of holster,
then the physical has the purpose there exists an entity such that the entity is an instance of pistol and the physical contains the entity

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

KB Term:			Term intersection

English Word: