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


KB Term:  Term intersection
English Word: 

  ShotgunSlug

 Sigma KEE - ShotgunSlug
ShotgunSlug(shotgun slug)

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


(subclass ShotgunSlug Projectile) Mid-level-ontology.kif 1162-1162 Shotgun slug is a subclass of projectile
(documentation ShotgunSlug EnglishLanguage "ShotgunSlug is a heavy projectile (a slug) made of lead, copper, or other material and fired from a shotgun. It is solid in the sense of being composed of one piece. Slugs are designed for hunting large game, and other uses, particularly in areas near human population where their short range and slow speed helps increase safety margin. [Wikipedia]") Mid-level-ontology.kif 1163-1166 Shotgun slug is a subclass of projectile

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


(termFormat EnglishLanguage ShotgunSlug "shotgun slug") Mid-level-ontology.kif 1167-1167

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


(=>
    (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 ?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
(=>
    (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


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