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 1616-1617
(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
(subclass GunBarrel EngineeringComponent) Mid-level-ontology.kif 1615-1615 Gun barrel is a subclass of engineering component

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


(termFormat ChineseLanguage GunBarrel "枪管") domainEnglishFormat.kif 27007-27007
(termFormat ChineseTraditionalLanguage GunBarrel "槍管") domainEnglishFormat.kif 27006-27006
(termFormat EnglishLanguage GunBarrel "gun barrel") domainEnglishFormat.kif 27005-27005

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 1625-1637
(=>
    (instance ?B GunBarrel)
    (exists (?G)
        (and
            (instance ?G Gun)
            (part ?B ?G))))
Mid-level-ontology.kif 1618-1623


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