Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ShapeAttribute

 Sigma KEE - ShapeAttribute
ShapeAttribute(shape attribute)3-D, 3D, Platonic_body, Platonic_solid, abruptly-pinnate, acanthoid, acanthous, acellular, acerate, acerose, acetabular, acicular, aciculate, acid-base_balance, acid-base_equilibrium, acneiform, acuate, acuminate, acute, acuteness, adamantine, alabaster, alabastrine, aligned, allantoid, almond-shaped, alveolate, ameboid, amethystine, amoeboid, amorphous_shape, amygdaliform, amygdaline, amygdaloid, amygdaloidal, anchor_ring, anfractuous, angled, angular, angular_shape, angularity, angulate, annulus, antiphonal, antiphonary, apiculate, aquiline, arboreal, arboreous, arborescent...

appearance as argument number 1
-------------------------


(subclass ShapeAttribute StructureAttribute) Merge.kif 18086-18086 Shape attribute is a subclass of structure attribute
(documentation ShapeAttribute EnglishLanguage "Any Attribute that relates to the shape of an Object.") Merge.kif 18090-18091 Shape attribute is a subclass of structure attribute

appearance as argument number 2
-------------------------


(instance Fillable ShapeAttribute) Merge.kif 10175-10175 Fillable is an instance of shape attribute
(subclass GeometricFigure ShapeAttribute) Merge.kif 18137-18137 Geometric figure is a subclass of shape attribute
(instance Flat ShapeAttribute) Mid-level-ontology.kif 3381-3381 Flat is an instance of shape attribute
(instance LongAndThin ShapeAttribute) Mid-level-ontology.kif 3401-3401 Long and thin is an instance of shape attribute
(instance LevelShape ShapeAttribute) Mid-level-ontology.kif 3445-3445 Level shape is an instance of shape attribute
(instance SymmetricShape ShapeAttribute) Mid-level-ontology.kif 3465-3465 Symmetric shape is an instance of shape attribute
(subclass Fingerprint ShapeAttribute) Mid-level-ontology.kif 14147-14147 Fingerprint is a subclass of shape attribute
(instance LineFormation ShapeAttribute) Mid-level-ontology.kif 21324-21324 Line formation is an instance of shape attribute
(instance RoundTwoDimensional ShapeAttribute) Mid-level-ontology.kif 27877-27877 Round is an instance of shape attribute
(instance DiskShaped ShapeAttribute) Mid-level-ontology.kif 27885-27885 Disk shaped is an instance of shape attribute
(instance RingTorus ShapeAttribute) Mid-level-ontology.kif 33389-33389 Ring torus is an instance of shape attribute
(instance Convex ShapeAttribute) Mid-level-ontology.kif 34792-34792 Convex is an instance of shape attribute
(instance Concave ShapeAttribute) Mid-level-ontology.kif 34824-34824 Concave is an instance of shape attribute
(instance ConeSegment ShapeAttribute) Cars.kif 1340-1340 Cone segment is an instance of shape attribute
(subclass MoleculeStructuralAttribute ShapeAttribute) VirusProteinAndCellPart.kif 158-158 Molecule structural attribute is a subclass of shape attribute
(termFormat EnglishLanguage ShapeAttribute "shape attribute") english_format.kif 1733-1733 Molecule structural attribute is a subclass of shape attribute

appearance as argument number 3
-------------------------


(domain shape 2 ShapeAttribute) Merge.kif 7765-7765 The number 2 argument of shape is an instance of shape attribute
(domain cellShape 2 ShapeAttribute) VirusProteinAndCellPart.kif 388-388 The number 2 argument of cell shape is an instance of shape attribute

antecedent
-------------------------


(=>
    (and
        (property ?OBJ ?SHAPE)
        (instance ?OBJ Physical)
        (instance ?SHAPE ShapeAttribute))
    (shape ?OBJ ?SHAPE))		 Merge.kif 7768-7773 If X the attribute Y, X is an instance of physical, and Y is an instance of shape attribute, then X is Y
(=>
    (and
        (instance ?ATTRIBUTE ShapeAttribute)
        (attribute ?OBJ ?ATTRIBUTE)
        (surface ?SURFACE ?OBJ))
    (attribute ?SURFACE ?ATTRIBUTE))		 Merge.kif 18093-18098 If X is an instance of shape attribute, X is an attribute of Y, and Z is a surface of Y, then X is an attribute of Z

consequent
-------------------------


(=>
    (and
        (instance ?ALT ShapeChange)
        (patient ?ALT ?OBJ))
    (exists (?PROPERTY)
        (and
            (instance ?PROPERTY ShapeAttribute)
            (or
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?ALT))
                        (attribute ?OBJ ?PROPERTY))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?ALT))
                        (not
                            (attribute ?OBJ ?PROPERTY))))
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?ALT))
                        (not
                            (attribute ?OBJ ?PROPERTY)))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?ALT))
                        (attribute ?OBJ ?PROPERTY)))))))		 Merge.kif 12946-12959 If X is an instance of shape change and Y is a patient of X, then there exists Z such that Z is an instance of shape attribute and Z is an attribute of Y holds during the beginning of the time of existence of X and Z is not an attribute of Y holds during the end of the time of existence of X or Z is not an attribute of Y holds during the beginning of the time of existence of X and Z is an attribute of Y holds during the end of the time of existence of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners