Formattribut (ShapeAttribute)

Any Attribute that relates to the shape of an Object.

Ontology

SUMO / QUALITIES

Superclass(es)

Wesen

abstrakter Gegenstand

Attribut

Innenattribut

Formattribut

Instance(s)

fillable pliable rigid

Subclass(es)

Beschaffenheitsattribut

Coordinate term(s)

biologisches Attribut Zerbrechlichkeitsattribut Wahrnehmungsattribut körperliche Zustand Stättigungsattribut

Related WordNet synsets

shape, form: the spatial arrangement of something as distinct from its substance; "geometry is the mathematical science of shape"
shape, form, configuration, contour: any spatial attribute (especially as defined by outline); "he could barely make out their shapes through the smoke"

See more related synsets on a separate page.

Axioms (1)

Wenn alt ist ein fall von Formänderung und obj ist ein patient von alt , dann es gibt ein Formattribut property der

"property ist ein attribut von obj " hält während "direkt vor "die zeit des Bestehens von alt"" und "property ist ein attribut von obj nicht" hält während "sofort nach "die zeit des Bestehens von alt""
"property ist ein attribut von obj nicht" hält während "direkt vor "die zeit des Bestehens von alt"" und "property ist ein attribut von obj " hält während "sofort nach "die zeit des Bestehens von alt""

(=>
      (and
            (instance ?ALT ShapeChange)
            (patient ?ALT ?OBJ))
      (exists
            (?PROPERTY)
            (and
                  (instance ?PROPERTY ShapeAttribute)
                  (or
                        (and
                              (holdsDuring
                                    (ImmediatePastFn
                                          (WhenFn ?ALT))
                                    (attribute ?OBJ ?PROPERTY))
                              (holdsDuring
                                    (ImmediateFutureFn
                                          (WhenFn ?ALT))
                                    (not
                                          (attribute ?OBJ ?PROPERTY))))
                        (and
                              (holdsDuring
                                    (ImmediatePastFn
                                          (WhenFn ?ALT))
                                    (not
                                          (attribute ?OBJ ?PROPERTY)))
                              (holdsDuring
                                    (ImmediateFutureFn
                                          (WhenFn ?ALT))
                                    (attribute ?OBJ ?PROPERTY)))))))