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

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


(instance ConeSegment ShapeAttribute) Cars.kif 1426-1426 Cone segment is an instance of shape attribute
(instance RingTorus ShapeAttribute) Cars.kif 4487-4487 Ring torus is an instance of shape attribute
(instance Fillable ShapeAttribute) Merge.kif 10107-10107 Fillable is an instance of shape attribute
(subclass GeometricFigure ShapeAttribute) Merge.kif 17983-17983 Geometric figure is a subclass of shape attribute
(instance Flat ShapeAttribute) Mid-level-ontology.kif 3261-3261 Flat is an instance of shape attribute
(instance LongAndThin ShapeAttribute) Mid-level-ontology.kif 3281-3281 Long and thin is an instance of shape attribute
(instance LevelShape ShapeAttribute) Mid-level-ontology.kif 3298-3298 Level shape is an instance of shape attribute
(instance SymmetricShape ShapeAttribute) Mid-level-ontology.kif 3318-3318 Symmetric shape is an instance of shape attribute
(subclass Fingerprint ShapeAttribute) Mid-level-ontology.kif 13996-13996 Fingerprint is a subclass of shape attribute
(instance LineFormation ShapeAttribute) Mid-level-ontology.kif 21365-21365 Line formation is an instance of shape attribute
(instance RoundTwoDimensional ShapeAttribute) Mid-level-ontology.kif 27955-27955 Round is an instance of shape attribute
(instance DiskShaped ShapeAttribute) Mid-level-ontology.kif 27963-27963 Disk shaped is an instance of shape attribute
(instance Convex ShapeAttribute) Mid-level-ontology.kif 35051-35051 Convex is an instance of shape attribute
(instance Concave ShapeAttribute) Mid-level-ontology.kif 35083-35083 Concave 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 7696-7696 The number 2 argument of shape is an instance of shape attribute
(domain cellShape 2 ShapeAttribute) VirusProteinAndCellPart.kif 410-410 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 7699-7704 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 17939-17944 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 12832-12845 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 is open source software produced by Articulate Software and its partners