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


KB Term:  Term intersection
English Word: 

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 17947-17947 Shape attribute is a subclass of structure attribute
(documentation ShapeAttribute EnglishLanguage "Any Attribute that relates to the shape of an Object.") Merge.kif 17951-17952 Shape attribute is a subclass of structure attribute

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


(instance Fillable ShapeAttribute) Merge.kif 10095-10095 Fillable is an instance of shape attribute
(subclass GeometricFigure ShapeAttribute) Merge.kif 17998-17998 Geometric figure is a subclass of shape attribute
(instance Flat ShapeAttribute) Mid-level-ontology.kif 3248-3248 Flat is an instance of shape attribute
(instance LongAndThin ShapeAttribute) Mid-level-ontology.kif 3268-3268 Long and thin is an instance of shape attribute
(instance LevelShape ShapeAttribute) Mid-level-ontology.kif 3312-3312 Level shape is an instance of shape attribute
(instance SymmetricShape ShapeAttribute) Mid-level-ontology.kif 3332-3332 Symmetric shape is an instance of shape attribute
(subclass Fingerprint ShapeAttribute) Mid-level-ontology.kif 14051-14051 Fingerprint is a subclass of shape attribute
(instance LineFormation ShapeAttribute) Mid-level-ontology.kif 21382-21382 Line formation is an instance of shape attribute
(instance RoundTwoDimensional ShapeAttribute) Mid-level-ontology.kif 27936-27936 Round is an instance of shape attribute
(instance DiskShaped ShapeAttribute) Mid-level-ontology.kif 27944-27944 Disk shaped is an instance of shape attribute
(instance Convex ShapeAttribute) Mid-level-ontology.kif 35032-35032 Convex is an instance of shape attribute
(instance Concave ShapeAttribute) Mid-level-ontology.kif 35064-35064 Concave is an instance of shape attribute
(instance ConeSegment ShapeAttribute) Cars.kif 1426-1426 Cone segment is an instance of shape attribute
(instance RingTorus ShapeAttribute) Cars.kif 4485-4485 Ring torus 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 1729-1729 Molecule structural attribute is a subclass of shape attribute

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


(domain shape 2 ShapeAttribute) Merge.kif 7687-7687 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 7690-7695 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 17954-17959 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 12828-12841 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 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.0-d479ed1b (2026-04-11) is open source software produced by Articulate Software and its partners