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


KB Term:  Term intersection
English Word: 

Sigma KEE - Projectile
Projectile(projectile)
missile, pellet, projectile, seeker, shot, spitball

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


(subclass Projectile Weapon) Mid-level-ontology.kif 1103-1103 Projectile is a subclass of weapon
(documentation Projectile EnglishLanguage "A missile, bullet, etc. that is fired from a Weapon.") Mid-level-ontology.kif 1104-1105 Projectile is a subclass of weapon
(externalImage Projectile "http://articulatesoftware.com/SUMOpictures/tools/ weapons/ projectile_01.png") pictureList.kif 678-678 Projectile is a subclass of weapon

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


(subclass ShotShell Projectile) Mid-level-ontology.kif 1111-1111 Shot shell is a subclass of projectile
(subclass FirearmShot Projectile) Mid-level-ontology.kif 1139-1139 Firearm shot is a subclass of projectile
(subclass ShotgunSlug Projectile) Mid-level-ontology.kif 1162-1162 Shotgun slug is a subclass of projectile
(subclass Bullet Projectile) Mid-level-ontology.kif 1283-1283 Bullet is a subclass of projectile
(subclass BulletCartridge Projectile) Mid-level-ontology.kif 1295-1295 Bullet cartridge is a subclass of projectile
(subclass ArrowProjectile Projectile) Mid-level-ontology.kif 2201-2201 Arrow projectile is a subclass of projectile
(subclass Missile Projectile) Mid-level-ontology.kif 19643-19643 Missile is a subclass of projectile
(subclass Rocket Projectile) Mid-level-ontology.kif 24365-24365 Rocket is a subclass of projectile
(termFormat EnglishLanguage Projectile "projectile") domainEnglishFormat.kif 47653-47653 Rocket is a subclass of projectile
(termFormat ChineseTraditionalLanguage Projectile "拋射物") domainEnglishFormat.kif 47654-47654 Rocket is a subclass of projectile
(termFormat ChineseLanguage Projectile "抛射物") domainEnglishFormat.kif 47655-47655 Rocket is a subclass of projectile

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


(=>
    (instance ?PROJECTILE Projectile)
    (capability Shooting patient ?PROJECTILE))		 Mid-level-ontology.kif 1107-1109 If X is an instance of projectile, then X is capable of doing shooting as a patient
(=>
    (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 1336-1348 If All of the following hold: (1) X is an instance of gun (2) Y is an instance of gun barrel (3) Y is a part of X (4) Z is an instance of shooting (5) X is an instrument for Z (6) W is a patient of Z (7) W is an instance of projectile, then there exists V such that V is a subprocess of Z and Y is path along which V occurs
(=>
    (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 If All of the following hold: (1) X is an instance of shooting (2) Y is an instrument for X (3) Z is a patient of X (4) the width of Z is W (5) Y is an instance of V (6) Z is an instance of projectile (7) U is a caliber of V, then equal U and W
(=>
    (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 If X is an instance of projectile, Y is a caliber of Z, W is an instance of Z, the width of X is V, and equal Y and V, then W is capable of doing the class described by U as a instrument
(=>
    (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 If X is an instance of projectile, Y is a caliber of Z, W is an instance of Z, the width of X is V, and equal Y and V, then W has the purpose there exists U such that U is an instance of shooting, X is a patient of U, and W is an instrument for U

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


(=>
    (instance ?S Shooting)
    (exists (?P ?L)
        (and
            (instance ?P Projectile)
            (patient ?S ?P)
            (instance ?L ProjectileLauncher)
            (instrument ?S ?L))))		 Mid-level-ontology.kif 1201-1208 If X is an instance of shooting, then there exist Y, Z such that Y is an instance of projectile, Y is a patient of X, Z is an instance of projectile launcher, and Z is an instrument for X
(=>
    (instance ?SHOOT Shooting)
    (exists (?PROJECTILE ?GUN)
        (and
            (instance ?PROJECTILE Projectile)
            (patient ?SHOOT ?PROJECTILE)
            (instance ?GUN Gun)
            (instrument ?SHOOT ?GUN))))		 Mid-level-ontology.kif 1270-1277 If X is an instance of shooting, then there exist Y, Z such that Y is an instance of projectile, Y is a patient of X, Z is an instance of gun, and Z is an instrument for X
(=>
    (and
        (instance ?L LoadingWeapon)
        (patient ?L ?P))
    (instance ?P Projectile))		 Mid-level-ontology.kif 1639-1643 If X is an instance of loading weapon and Y is a patient of X, then Y is an instance of projectile
(=>
    (target ?A ?O)
    (exists (?W ?P)
        (and
            (instance ?W Weapon)
            (instrument ?A ?W)
            (instance ?P Projectile)
            (patient ?A ?P)
            (destination ?A ?O))))		 MilitaryProcesses.kif 2833-2841 If X is the target of Y, then there exist Z, W such that Z is an instance of weapon, Z is an instrument for Y, W is an instance of projectile, W is a patient of Y, and Y ends up at X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners