selbstverbundener Gegenstand (SelfConnectedObject)

A SelfConnectedObject is any Object that does not consist of two or more disconnected parts.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

Wesen

körperlicher Gegenstand

Gegenstand

selbstverbundener Gegenstand

Subclass(es)

Substanz korpuskularer Gegenstand Inhaltsgegenstand Nahrung

Coordinate term(s)

Agent Ansammlung Gebiet

Constrains relations

RückseiteFn FrontseiteFn unterseite schliesstAn höhe loch mitglied seite fläche oberseite

Related WordNet synsets

body: an individual 3-dimensional object that has mass and that is distinguishable from other objects; "heavenly body"

See more related synsets on a separate page.

Axioms (5)

Wenn obj ist ein fall von selbstverbundener Gegenstand , dann "die frontseite von obj" ist ein teil von obj .

(=>
      (instance ?OBJ SelfConnectedObject)
      (part
            (FrontFn ?OBJ)
            ?OBJ))

Wenn obj ist ein fall von selbstverbundener Gegenstand , dann "die rückseite von obj" ist ein teil von obj .

(=>
      (instance ?OBJ SelfConnectedObject)
      (part
            (BackFn ?OBJ)
            ?OBJ))

Ansammlung ist dijunkt von selbstverbundener Gegenstand .

(disjoint Collection SelfConnectedObject)

obj ist ein fall von selbstverbundener Gegenstand nur wenn für jeden part1,part2 gilt: wenn obj ist gleich "die vereinigung von den teilen von part1 und part2" , dann part1 wird an part2 angeschlossen.

(<=>
      (instance ?OBJ SelfConnectedObject)
      (forall
            (?PART1 ?PART2)
            (=>
                  (equal
                        ?OBJ
                        (MereologicalSumFn ?PART1 ?PART2))
                  (connected ?PART1 ?PART2))))

Wenn obj ist ein fall von selbstverbundener Gegenstand , dann pliable ist ein attribut von obj oder rigid ist ein attribut von obj .

(=>
      (instance ?OBJ SelfConnectedObject)
      (or
            (attribute ?OBJ Pliable)
            (attribute ?OBJ Rigid)))