SphericalObject - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SphericalObject EnglishLanguage "An object with the attribute of being spherical.")	Mid-level-ontology.kif 27250-27250
(subclass SphericalObject Object)	Mid-level-ontology.kif 27249-27249

appearance as argument number 2

domainEnglishFormat.kif 65522-65522

antecedent

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

Mid-level-ontology.kif 27252-27254

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))))

Mid-level-ontology.kif 1150-1163