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

Formal Language: 


KB Term:  Term intersection
English Word: 

  GunBarrel

 Sigma KEE - GunBarrel
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 1291-1292
(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 1290-1290 GunBarrel est une sous-classe de composant d'un appareil

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


(partTypes GunBore GunBarrel) Mid-level-ontology.kif 1389-1389 partTypes GunBore and GunBarrel
(partTypes GunMuzzle GunBarrel) Mid-level-ontology.kif 1360-1360 partTypes GunMuzzle and GunBarrel
(relatedInternalConcept Forestock GunBarrel) Mid-level-ontology.kif 1463-1463 Forestock est reli� � l'int�rieur de SUMO � GunBarrel
(relatedInternalConcept Gunstock GunBarrel) Mid-level-ontology.kif 1411-1411 Gunstock est reli� � l'int�rieur de SUMO � GunBarrel
(termFormat ChineseLanguage GunBarrel "枪管") domainEnglishFormat.kif 27095-27095 Gunstock est reli� � l'int�rieur de SUMO � GunBarrel
(termFormat ChineseTraditionalLanguage GunBarrel "槍管") domainEnglishFormat.kif 27094-27094 Gunstock est reli� � l'int�rieur de SUMO � GunBarrel
(termFormat EnglishLanguage GunBarrel "gun barrel") domainEnglishFormat.kif 27093-27093 Gunstock est reli� � l'int�rieur de SUMO � GunBarrel
(typicalPart GunChamber GunBarrel) Mid-level-ontology.kif 1326-1326 typicalPart GunChamber and GunBarrel

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 1301-1313
(=>
    (and
        (instance ?H Handgun)
        (instance ?B1 GunBarrel)
        (part ?B1 ?H)
        (length ?B1
            (MeasureFn ?S Inch))
        (instance ?L Longgun)
        (instance ?B2 GunBarrel)
        (part ?B2 ?L)
        (length ?B2
            (MeasureFn ?T Inch)))
    (lessThan ?S ?T))		 Mid-level-ontology.kif 2002-2012
(=>
    (instance ?B GunBarrel)
    (exists (?G)
        (and
            (instance ?G Gun)
            (part ?B ?G))))		 Mid-level-ontology.kif 1294-1299

consequent
-------------------------


(=>
    (and
        (instance ?S Shooting)
        (instance ?G Gun)
        (instrument ?S ?G))
    (exists (?E ?GB ?B ?C ?M)
        (and
            (subProcess ?E ?S)
            (instance ?E Exiting)
            (eventLocated ?E ?GB)
            (instance ?GB GunBarrel)
            (part ?GB ?G)
            (objectTransferred ?E ?B)
            (instance ?B Bullet)
            (origin ?B ?C)
            (instance ?C BulletCartridge)
            (located ?C ?GB)
            (path ?E ?GB)
            (entrance ?M ?GB)
            (instance ?M GunMuzzle))))		 Mid-level-ontology.kif 1362-1381
(=>
    (instance ?GUN Pistol)
    (exists (?B ?C)
        (and
            (part ?B ?GUN)
            (instance ?B GunBarrel)
            (part ?C ?B)
            (instance ?C GunChamber)
            (not
                (exists (?C2)
                    (and
                        (instance ?C2 GunChamber)
                        (part ?C2 ?B)
                        (not
                            (equal ?C ?C2))))))))		 Mid-level-ontology.kif 2018-2032


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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