Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Pistol

 Sigma KEE - Pistol
Pistol(pistol)
Saturday_night_special, Verey_pistol, Very_pistol, automatic, automatic_pistol, derringer, forty-five, gat, handgun, horse-pistol, horse_pistol, peacekeeper, pistol, rod, semiautomatic, semiautomatic_pistol, shooting_iron, side_arm, zip_gun

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Pistol "pistol") domainEnglishFormat.kif 45929-45929
(termFormat ChineseTraditionalLanguage Pistol "手槍") domainEnglishFormat.kif 45930-45930
(termFormat ChineseLanguage Pistol "手枪") domainEnglishFormat.kif 45931-45931

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 2087-2101 If X is an instance of pistol, then All of the following hold: (1) there exist Y (2) Z such that Y is a part of X (3) Y is an instance of gun barrel (4) Z is a part of Y (5) Z is an instance of gun chamber (6) there doesn't exist W such that W is an instance of gun chamber (7) W is a part of Y (8) equal Z (9) W

consequent
-------------------------


(=>
    (instance ?H Holster)
    (hasPurpose ?H
        (exists (?P)
            (and
                (instance ?P Pistol)
                (contains ?H ?P)))))		 Mid-level-ontology.kif 2190-2196 If X is an instance of holster, then X has the purpose there exists Y such that Y is an instance of pistol and X contains Y


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners