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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Bullet
Bullet

appearance as argument number 1
-------------------------


(documentation Bullet EnglishLanguage "A Projectile that is designed to be fired by a Gun.") Mid-level-ontology.kif 1249-1249
(externalImage Bullet "http://articulatesoftware.com/SUMOpictures/tools/ weapons/ guns/ bullet.png") pictureList.kif 301-301
(subclass Bullet Projectile) Mid-level-ontology.kif 1248-1248 Bullet est une sous-classe de Projectile

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


(termFormat ChineseLanguage Bullet "子弹") domainEnglishFormat.kif 12332-12332
(termFormat ChineseTraditionalLanguage Bullet "子彈") domainEnglishFormat.kif 12331-12331
(termFormat EnglishLanguage Bullet "bullet") domainEnglishFormat.kif 12330-12330

antecedent
-------------------------


(=>
    (instance ?B Bullet)
    (hasPurpose ?B
        (exists (?S ?GUN)
            (and
                (instance ?S Shooting)
                (instrument ?S ?GUN)
                (instance ?GUN Gun)
                (patient ?S ?B)))))		 Mid-level-ontology.kif 1250-1258
(=>
    (instance ?PROJECTILE Bullet)
    (exists (?SHELL)
        (and
            (instance ?SHELL ProjectileShell)
            (part ?SHELL ?PROJECTILE))))		 Mid-level-ontology.kif 1190-1195

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 ?CARTRIDGE BulletCartridge)
    (hasPurpose ?CARTRIDGE
        (exists (?BULLET ?CASE)
            (and
                (instance ?BULLET Bullet)
                (instance ?CASE CartridgeCase)
                (properPart ?BULLET ?CARTRIDGE)
                (properPart ?CASE ?CARTRIDGE)))))		 Mid-level-ontology.kif 1265-1273
(=>
    (instance ?CASE CartridgeCase)
    (exists (?CARTRIDGE ?BULLET ?K)
        (and
            (instance ?CARTRIDGE BulletCartridge)
            (instance ?BULLET Bullet)
            (instance ?K Keeping)
            (properPart ?CASE ?CARTRIDGE)
            (properPart ?BULLET ?CARTRIDGE)
            (agent ?K ?CASE)
            (patient ?K ?BULLET))))		 Mid-level-ontology.kif 1278-1288


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