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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GunBarrel
GunBarrel(gun barrel)
barrel, gun_barrel, gun_muzzle, muzzle, 枪管, 槍管

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


(documentation GunBarrel EnglishLanguage "The part of a Gun through which a Projectile travels when it is fired.") Mid-level-ontology.kif 1610-1611
(externalImage GunBarrel "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 4f/ Volquartsen_Ruger_17HM2_barrel.jpg/ 250px-Volquartsen_Ruger_17HM2_barrel.jpg") pictureList.kif 1129-1129 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 4f/ Volquartsen_Ruger_17HM2_barrel.jpg/ 250px-Volquartsen_Ruger_17HM2_barrel.jpg" is a URL depicting gun barrel
(subclass GunBarrel EngineeringComponent) Mid-level-ontology.kif 1609-1609 Gun barrel is a subclass of engineering component

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


(termFormat ChineseLanguage GunBarrel "枪管") domainEnglishFormat.kif 27013-27013 "枪管" is the printable form of gun barrel in ChineseLanguage
(termFormat ChineseTraditionalLanguage GunBarrel "槍管") domainEnglishFormat.kif 27012-27012 "槍管" is the printable form of gun barrel in ChineseTraditionalLanguage
(termFormat EnglishLanguage GunBarrel "gun barrel") domainEnglishFormat.kif 27011-27011 "gun barrel" is the printable form of gun barrel in english language

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


(=>
    (and
        (instance ?G Gun)
        (instance ?B GunBarrel)
        (part ?B ?G)
        (instance ?S Shooting)
        (instrument ?S ?G)
        (patient ?S ?P)
        (instance ?P Projectile))
    (exists (?SUB)
        (and
            (subProcess ?SUB ?S)
            (path ?SUB ?B))))
Mid-level-ontology.kif 1619-1631
(=>
    (instance ?B GunBarrel)
    (exists (?G)
        (and
            (instance ?G Gun)
            (part ?B ?G))))
Mid-level-ontology.kif 1612-1617


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners