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


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1Ra2En3In4Re5En6En7ReFn

 Sigma KEE - Holster
Holster(holster)
holster, shoulder_holster

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


(subclass Holster Container) Mid-level-ontology.kif 2186-2186 Holster is a subclass of container
(documentation Holster EnglishLanguage "A Container for a Pistol. It is generally made of Leather and worn on either the shoulder or the waist.") Mid-level-ontology.kif 2187-2188 Holster is a subclass of container
(externalImage Holster "http://upload.wikimedia.org/wikipedia/commons/e/ e6/ Browning_HP_shoulder_stock_1782.jpg") pictureList.kif 6613-6613 Holster is a subclass of container
(externalImage Holster "http://upload.wikimedia.org/wikipedia/en/5/5a/Cellphone_holster2.jpg") pictureList.kif 7077-7077 Holster is a subclass of container

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


(termFormat EnglishLanguage Holster "holster") domainEnglishFormat.kif 28415-28415
(termFormat ChineseTraditionalLanguage Holster "皮套") domainEnglishFormat.kif 28416-28416
(termFormat ChineseLanguage Holster "皮套") domainEnglishFormat.kif 28417-28417

antecedent
-------------------------


(=>
    (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