Halten (Keeping)

The Class of Processes where the agent keeps something in a particular location for an extended period of time.

Ontology

SUMO / PROCESSES

Superclass(es)

Wesen

körperlicher Gegenstand

Prozess

absichlicher Prozess

Halten

Subclass(es)

Begrenzen

Coordinate term(s)

Inhaltsentwicklung Führen absichlicher psychologischer Prozess Beibehalten Bilden Manöver organisatorisher Prozess Stossen Erholung oder Übung Reparatur Suchen Sozialunterhaltung

Related WordNet synsets

retention, keeping, holding: the act of keeping in your possession

See more related synsets on a separate page.

Axioms (2)

Wenn keep ist ein fall von Halten und keep ist der agent von agent und obj ist ein patient von keep , dann es gibt ein Setzen put der put ist der agent von agent und obj ist ein patient von put und "die zeit des Bestehens von put" geschieht früh als "die zeit des Bestehens von keep" .

(=>
      (and
            (instance ?KEEP Keeping)
            (agent ?KEEP ?AGENT)
            (patient ?KEEP ?OBJ))
      (exists
            (?PUT)
            (and
                  (instance ?PUT Putting)
                  (agent ?PUT ?AGENT)
                  (patient ?PUT ?OBJ)
                  (earlier
                        (WhenFn ?PUT)
                        (WhenFn ?KEEP)))))

wenn keep ist ein fall von Halten und obj ist ein patient von keep ,
dann es gibt ein place der für jeden time gilt: wenn time ist ein teil von "die zeit des Bestehens von keep" , dann "obj befindet sich an " hält während time

(=>
      (and
            (instance ?KEEP Keeping)
            (patient ?KEEP ?OBJ))
      (exists
            (?PLACE)
            (forall
                  (?TIME)
                  (=>
                        (temporalPart
                              ?TIME
                              (WhenFn ?KEEP))
                        (holdsDuring
                              ?TIME
                              (located ?OBJ ?PLACE))))))