SphericalObject - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - SphericalObject

SphericalObject(spherical object)

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage SphericalObject "spherical object")

domainEnglishFormat.kif 65551-65551

antecedent

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

Mid-level-ontology.kif 27271-27273

If a physical is an instance of spherical object,
then the physical is sphere

consequent

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

Mid-level-ontology.kif 1150-1162

If an entity is an instance of firearm shot,
then there exist a collection, a self connected object and a real number such that the collection is an instance of collection and the self connected object is a member of the collection and the self connected object is an instance of spherical object and the approximate diameter of the self connected object is the real number millimeter(s) and the statement lead is made of the self connected object and the real number is less than 10 has the modal force of likely

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners