SphericalObject - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SphericalObject Object)	Mid-level-ontology.kif 27986-27986	Spherical object is a subclass of object
(documentation SphericalObject EnglishLanguage "An object with the attribute of being spherical.")	Mid-level-ontology.kif 27987-27987	Spherical object is a subclass of object

appearance as argument number 2

antecedent

(=>
(instance ?SHAPE SphericalObject)
(shape ?SHAPE Sphere))

consequent

(=>
    (instance ?SHOT FirearmShot)
    (exists (?C ?P ?CLASS ?X)
        (and
            (instance ?C Collection)
            (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