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


KB Term:  Term intersection
English Word: 

  ShotShell

 Sigma KEE - ShotShell
ShotShell(shot shell)

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


(subclass ShotShell Projectile) Mid-level-ontology.kif 1111-1111 Shot shell is a subclass of projectile
(documentation ShotShell EnglishLanguage "ShotShell or a Shotgun cartridge is a type of rimmed, cylindrical (straight-walled) ammunition used specifically in shotguns. It is typically loaded with numerous small, spherical sub-projectiles called shot. Some cartridges contain a single solid projectile known as a slug.[Wikipedia]") Mid-level-ontology.kif 1112-1115 Shot shell is a subclass of projectile

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


(termFormat EnglishLanguage ShotShell "shot shell") Mid-level-ontology.kif 1116-1116

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


(=>
    (instance ?S ShotShell)
    (hasPurpose ?S
        (exists (?X)
            (and
                (contains ?S ?X)
                (properPart ?X ?S)
                (or
                    (instance ?X FirearmShot)
                    (instance ?X ShotgunSlug))))))		 Mid-level-ontology.kif 1118-1127 If X is an instance of shot shell, then X has the purpose there exists Y such that X contains Y, Y is a proper part of X, and Y is an instance of firearm shot or Y is an instance of shotgun slug
(=>
    (instance ?SHELL ShotShell)
    (hasPurpose ?SHELL
        (exists (?S ?G)
            (and
                (instance ?S Shooting)
                (instrument ?S ?G)
                (instance ?G Shotgun)
                (patient ?S ?SHELL)))))		 Mid-level-ontology.kif 1129-1137 If X is an instance of shot shell, then X has the purpose there exist Y, Z such that Y is an instance of shooting, Z is an instrument for Y, Z is an instance of shot gun, and X is a patient of Y
(=>
    (and
        (instance ?SS ShotShell)
        (instance ?SL ShotgunSlug)
        (contains ?SS ?SL))
    (not
        (exists (?S2)
            (and
                (or
                    (instance ?S2 ShotgunSlug)
                    (instance ?S2 FirearmShot))
                (not
                    (equal ?SL ?S2))
                (contains ?SS ?S2)))))		 Mid-level-ontology.kif 1169-1182 If X is an instance of shot shell, Y is an instance of shotgun slug, and X contains Y, then there doesn't exist Z such that Z is an instance of shotgun slug or Z is an instance of firearm shot, equal Y, Z, and X contains Z

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


(=>
    (instance ?G Shotgun)
    (hasPurpose ?G
        (exists (?S ?SHELL)
            (and
                (instance ?S Shooting)
                (instrument ?S ?G)
                (patient ?S ?SHELL)
                (instance ?SHELL ShotShell)))))		 Mid-level-ontology.kif 2002-2010 If X is an instance of shot gun, then X has the purpose there exist Y, Z such that Y is an instance of shooting, X is an instrument for Y, Z is a patient of Y, and Z is an instance of shot shell


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