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

KB Term:  Term intersection
English Word: 

Sigma KEE - ShapeAttribute
ShapeAttribute

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


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

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


(instance Fillable ShapeAttribute) Merge.kif 10175-10175
(subclass GeometricFigure ShapeAttribute) Merge.kif 18137-18137
(instance Flat ShapeAttribute) Mid-level-ontology.kif 3381-3381
(instance LongAndThin ShapeAttribute) Mid-level-ontology.kif 3401-3401
(instance LevelShape ShapeAttribute) Mid-level-ontology.kif 3445-3445
(instance SymmetricShape ShapeAttribute) Mid-level-ontology.kif 3465-3465
(subclass Fingerprint ShapeAttribute) Mid-level-ontology.kif 14147-14147
(instance LineFormation ShapeAttribute) Mid-level-ontology.kif 21324-21324
(instance RoundTwoDimensional ShapeAttribute) Mid-level-ontology.kif 27877-27877
(instance DiskShaped ShapeAttribute) Mid-level-ontology.kif 27885-27885
(instance RingTorus ShapeAttribute) Mid-level-ontology.kif 33389-33389
(instance Convex ShapeAttribute) Mid-level-ontology.kif 34792-34792
(instance Concave ShapeAttribute) Mid-level-ontology.kif 34824-34824
(instance ConeSegment ShapeAttribute) Cars.kif 1340-1340
(subclass MoleculeStructuralAttribute ShapeAttribute) VirusProteinAndCellPart.kif 158-158
(termFormat EnglishLanguage ShapeAttribute "shape attribute") english_format.kif 1733-1733

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


(domain shape 2 ShapeAttribute) Merge.kif 7765-7765
(domain cellShape 2 ShapeAttribute) VirusProteinAndCellPart.kif 388-388

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


(=>
    (and
        (property ?OBJ ?SHAPE)
        (instance ?OBJ Physical)
        (instance ?SHAPE ShapeAttribute))
    (shape ?OBJ ?SHAPE))		 Merge.kif 7768-7773
(=>
    (and
        (instance ?ATTRIBUTE ShapeAttribute)
        (attribute ?OBJ ?ATTRIBUTE)
        (surface ?SURFACE ?OBJ))
    (attribute ?SURFACE ?ATTRIBUTE))		 Merge.kif 18093-18098

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


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners