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

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


(instance Fillable ShapeAttribute) Merge.kif 10097-10097 Fillable is an instance of shape attribute
(subclass GeometricFigure ShapeAttribute) Merge.kif 18009-18009 Geometric figure is a subclass of shape attribute
(instance Flat ShapeAttribute) Mid-level-ontology.kif 3250-3250 Flat is an instance of shape attribute
(instance LongAndThin ShapeAttribute) Mid-level-ontology.kif 3270-3270 Long and thin is an instance of shape attribute
(instance LevelShape ShapeAttribute) Mid-level-ontology.kif 3314-3314 Level shape is an instance of shape attribute
(instance SymmetricShape ShapeAttribute) Mid-level-ontology.kif 3334-3334 Symmetric shape is an instance of shape attribute
(subclass Fingerprint ShapeAttribute) Mid-level-ontology.kif 14053-14053 Fingerprint is a subclass of shape attribute
(instance LineFormation ShapeAttribute) Mid-level-ontology.kif 21384-21384 Line formation is an instance of shape attribute
(instance RoundTwoDimensional ShapeAttribute) Mid-level-ontology.kif 27938-27938 Round is an instance of shape attribute
(instance DiskShaped ShapeAttribute) Mid-level-ontology.kif 27946-27946 Disk shaped is an instance of shape attribute
(instance Convex ShapeAttribute) Mid-level-ontology.kif 35034-35034 Convex is an instance of shape attribute
(instance Concave ShapeAttribute) Mid-level-ontology.kif 35066-35066 Concave is an instance of shape attribute
(instance ConeSegment ShapeAttribute) Cars.kif 1429-1429 Cone segment is an instance of shape attribute
(instance RingTorus ShapeAttribute) Cars.kif 4503-4503 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 7689-7689 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 7692-7697 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 17965-17970 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 12837-12850 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-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners