TreeView Knowledge Base Browser

appearance as argument number 1

(subclass FirearmShot Projectile)	Mid-level-ontology.kif 1139-1139	Firearm shot is a subclass of projectile
(subclass FirearmShot CollectionOfObjects)	Mid-level-ontology.kif 1140-1140	Firearm shot is a subclass of collection
(documentation FirearmShot EnglishLanguage "FirearmShot is a CollectionOfObjects of small spheres or pellets, often made of Lead. were the original projectiles for Shotguns and are still fired primarily from shotguns and GrenadeLaunchers. Shot is available in many sizes for different applications. The size of numbered shot decreases as the number increases.[Wikipedia]")	Mid-level-ontology.kif 1141-1144	Firearm shot is a subclass of collection

appearance as argument number 2

(termFormat EnglishLanguage FirearmShot "firearm shot")

antecedent

(=>
    (instance ?SHOT FirearmShot)
    (exists (?C ?P ?CLASS ?X)
        (and
            (instance ?C CollectionOfObjects)
            (member ?P ?C)
            (instance ?P ?CLASS)
            (subclass ?CLASS SphericalObject)
            (approximateDiameter ?P
                (MeasureFn ?X Millimeter))
            (modalAttribute
                (and
                    (material ?CLASS Lead)
                    (lessThan ?X 10)) Likely))))

If X is an instance of firearm shot, then there exist Y, Z,, , W and V such that Y is an instance of collection and Z is a member of Y and Z is an instance of W and W is a subclass of spherical object and the approximate diameter of Z is V millimeter(s) and the statement lead is made of W and V is less than 10 has the modal force of likely

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