TreeView Knowledge Base Browser - SphericalObject

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

SphericalObject

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 27250-27250
(subclass SphericalObject Object)	Mid-level-ontology.kif 27249-27249	Spherical object is a subclass of object

appearance as argument number 2

(termFormat EnglishLanguage SphericalObject "spherical object")

domainEnglishFormat.kif 65522-65522

antecedent

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

Mid-level-ontology.kif 27252-27254

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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