SphericalObject - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | LogLearn | ] 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 27752-27752
(subclass SphericalObject Object)	Mid-level-ontology.kif 27751-27751	Spherical object is a subclass of object

appearance as argument number 2

(termFormat EnglishLanguage SphericalObject "spherical object")

domainEnglishFormat.kif 65521-65521

antecedent

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

Mid-level-ontology.kif 27754-27756

If a physical is an instance of spherical object,
then the physical is 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))))

Mid-level-ontology.kif 1150-1163

If an entity is an instance of firearm shot,
then there exist a collection, a self connected object,, , the collectionLASS 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 the collectionLASS and the collectionLASS is a subclass 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 collectionLASS 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