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 1225-1226
(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 1224-1224 Gun barrel is a subclass of engineering component

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

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 1235-1247
(=>
    (instance ?B GunBarrel)
    (exists (?G)
        (and
            (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