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 1218-1219
(externalImage GunBarrel "http://upload.wikimedia.org/wikipedia/commons/ 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 1217-1217 Gun barrel is a subclass of engineering component

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


(termFormat ChineseLanguage GunBarrel "枪管") domainEnglishFormat.kif 27118-27118
(termFormat ChineseTraditionalLanguage GunBarrel "槍管") domainEnglishFormat.kif 27117-27117
(termFormat EnglishLanguage GunBarrel "gun barrel") domainEnglishFormat.kif 27116-27116

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 1228-1240
(=>
    (instance ?B GunBarrel)
    (exists (?G)
        (and
            (instance ?G Gun)
            (part ?B ?G))))
Mid-level-ontology.kif 1221-1226


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