Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pistol
Pistol(手枪)

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


(documentation Pistol EnglishLanguage "A Firearm that is intended to be aimed and fired with a single hand.") Mid-level-ontology.kif 1613-1614
(externalImage Pistol "http://articulatesoftware.com/SUMOpictures/armed_services/ Marines/ Pistol_45.png") pictureList.kif 670-670
(subclass Pistol Firearm) Mid-level-ontology.kif 1612-1612 手枪火器subclass

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


(subclass RevolverGun Pistol) Mid-level-ontology.kif 1616-1616 左轮手枪手枪subclass
(termFormat ChineseLanguage Pistol "手枪") domainEnglishFormat.kif 45936-45936
(termFormat ChineseTraditionalLanguage Pistol "手槍") domainEnglishFormat.kif 45935-45935
(termFormat EnglishLanguage Pistol "pistol") domainEnglishFormat.kif 45934-45934

appearance as argument number 3
-------------------------


(partition Firearm Rifle Pistol) Mid-level-ontology.kif 1604-1604 火器 详尽无遗地 partition步枪手枪

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


(=>
    (instance ?H Holster)
    (hasPurpose ?H
        (exists (?P)
            (and
                (instance ?P Pistol)
                (contains ?H ?P)))))
Mid-level-ontology.kif 1658-1664


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