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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - GunBarrel

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 1225-1226
(externalImage GunBarrel " thumb/ 4/ 4f/ Volquartsen_Ruger_17HM2_barrel.jpg/ 250px-Volquartsen_Ruger_17HM2_barrel.jpg") pictureList.kif 1128-1128
(subclass GunBarrel EngineeringComponent) Mid-level-ontology.kif 1224-1224 枪管工程组件subclass

appearance as argument number 2

(termFormat ChineseLanguage GunBarrel "枪管") domainEnglishFormat.kif 27084-27084
(termFormat ChineseTraditionalLanguage GunBarrel "槍管") domainEnglishFormat.kif 27083-27083
(termFormat EnglishLanguage GunBarrel "gun barrel") domainEnglishFormat.kif 27082-27082


        (instance ?G Gun)
        (instance ?B GunBarrel)
        (part ?B ?G)
        (instance ?S Shooting)
        (instrument ?S ?G)
        (patient ?S ?P)
        (instance ?P Projectile))
    (exists (?SUB)
            (subProcess ?SUB ?S)
            (path ?SUB ?B))))
Mid-level-ontology.kif 1235-1247
    (instance ?B GunBarrel)
    (exists (?G)
            (instance ?G Gun)
            (part ?B ?G))))
Mid-level-ontology.kif 1228-1233

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