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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Projectile

 Sigma KEE - Projectile
Projectile

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


(documentation Projectile EnglishLanguage "A missile, bullet, etc. that is fired from a Weapon.") Mid-level-ontology.kif 1107-1108
(externalImage Projectile "http://articulatesoftware.com/SUMOpictures/tools/ weapons/ projectile_01.png") pictureList.kif 678-678
(subclass Projectile Weapon) Mid-level-ontology.kif 1106-1106 Projectile は 武器 の subclass では

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


(subclass ArrowProjectile Projectile) Mid-level-ontology.kif 2132-2132 ArrowProjectile は Projectile の subclass では
(subclass Bullet Projectile) Mid-level-ontology.kif 1248-1248 Bullet は Projectile の subclass では
(subclass BulletCartridge Projectile) Mid-level-ontology.kif 1260-1260 BulletCartridge は Projectile の subclass では
(subclass FirearmShot Projectile) Mid-level-ontology.kif 1142-1142 FirearmShot は Projectile の subclass では
(subclass Grenade Projectile) MilitaryDevices.kif 347-347 Grenade は Projectile の subclass では
(subclass Missile Projectile) Mid-level-ontology.kif 19274-19274 Missile は Projectile の subclass では
(subclass Rocket Projectile) Mid-level-ontology.kif 23717-23717 Rocket は Projectile の subclass では
(subclass ShotShell Projectile) Mid-level-ontology.kif 1114-1114 ShotShell は Projectile の subclass では
(subclass ShotgunSlug Projectile) Mid-level-ontology.kif 1165-1165 ShotgunSlug は Projectile の subclass では
(termFormat ChineseLanguage Projectile "抛射物") domainEnglishFormat.kif 47662-47662 ShotgunSlug は Projectile の subclass では
(termFormat ChineseTraditionalLanguage Projectile "拋射物") domainEnglishFormat.kif 47661-47661 ShotgunSlug は Projectile の subclass では
(termFormat EnglishLanguage Projectile "projectile") domainEnglishFormat.kif 47660-47660 ShotgunSlug は Projectile の subclass では

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 ?PROJ Projectile)
        (caliber ?GUNCLASS ?LM)
        (instance ?GUN ?GUNCLASS)
        (width ?PROJ ?LM1)
        (equal ?LM ?LM1))
    (capability
        (KappaFn ?SHOOTING
            (and
                (instance ?SHOOTING Shooting)
                (patient ?SHOOTING ?PROJ))) instrument ?GUN))		 MilitaryDevices.kif 390-402
(=>
    (and
        (instance ?PROJ Projectile)
        (caliber ?GUNCLASS ?LM)
        (instance ?GUN ?GUNCLASS)
        (width ?PROJ ?LM1)
        (equal ?LM ?LM1))
    (hasPurpose ?GUN
        (exists (?SHOOTING)
            (and
                (instance ?SHOOTING Shooting)
                (patient ?SHOOTING ?PROJ)
                (instrument ?SHOOTING ?GUN)))))		 MilitaryDevices.kif 407-419
(=>
    (and
        (instance ?SHOT Shooting)
        (instrument ?SHOT ?GUN)
        (patient ?SHOT ?PROJ)
        (width ?PROJ ?LM1)
        (instance ?GUN ?GUNCLASS)
        (instance ?PROJ Projectile)
        (caliber ?GUNCLASS ?LM))
    (equal ?LM ?LM1))		 MilitaryDevices.kif 376-385
(=>
    (instance ?PROJECTILE Projectile)
    (capability Shooting patient ?PROJECTILE))		 Mid-level-ontology.kif 1110-1112

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


(=>
    (and
        (instance ?L LoadingWeapon)
        (patient ?L ?P))
    (instance ?P Projectile))		 Mid-level-ontology.kif 1589-1593
(=>
    (instance ?S Shooting)
    (exists (?P ?L)
        (and
            (instance ?P Projectile)
            (patient ?S ?P)
            (instance ?L ProjectileLauncher)
            (instrument ?S ?L))))		 Mid-level-ontology.kif 1204-1211
(=>
    (instance ?SHOOT Shooting)
    (exists (?PROJECTILE ?GUN)
        (and
            (instance ?PROJECTILE Projectile)
            (patient ?SHOOT ?PROJECTILE)
            (instance ?GUN Gun)
            (instrument ?SHOOT ?GUN))))		 Mid-level-ontology.kif 1235-1242
(=>
    (target ?A ?O)
    (exists (?W ?P)
        (and
            (instance ?W Weapon)
            (instrument ?A ?W)
            (instance ?P Projectile)
            (patient ?A ?P)
            (destination ?A ?O))))		 MilitaryProcesses.kif 2792-2800


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