Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

Änderung des Besitzes (ChangeOfPossession)

The Class of Processes where ownership of something is transferred from one Agent to another.

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
Wesen
is subclass of
  körperlicher Gegenstand  
is subclass of
  Prozess  
is subclass of
  absichlicher Prozess  
is subclass of
  Sozialunterhaltung  
is subclass of
  Änderung des Besitzes  

Subclass(es)

Geben  Erhalten  Transaktion 

Coordinate term(s)

Kommunikation  Kampf  Mitarbeit  Sitzung  Vortäuschen 

Related WordNet synsets

transfer
cause to change ownership; "I transferred my stock holdings to my children"
kinds of transfer...   kinds of transfer (all)...   transfer entails...   transfer causes...  
See more related synsets on a separate page.

Axioms (3)

Änderung des Besitzes ist innerlich verwandt mit besitzt . 
(relatedInternalConcept ChangeOfPossession possesses)
Wenn change ist ein fall von Änderung des Besitzes und obj ist ein patient von change und "agent1 besitzt obj " hält während "direkt vor "die zeit des Bestehens von change"" und "agent2 besitzt obj " hält während "sofort nach "die zeit des Bestehens von change"" , dann agent1 ist gleich agent2 nicht. 
(=>
      (and
            (instance ?CHANGE ChangeOfPossession)
            (patient ?CHANGE ?OBJ)
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?CHANGE))
                  (possesses ?AGENT1 ?OBJ))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?CHANGE))
                  (possesses ?AGENT2 ?OBJ)))
      (not
            (equal ?AGENT1 ?AGENT2)))
Wenn change ist ein fall von Änderung des Besitzes und change beginnet an agent1 und change endet an agent2 und agent2 ist ein fall von Agent und obj ist ein patient von change , dann "agent1 besitzt obj " hält während "direkt vor "die zeit des Bestehens von change"" und "agent2 besitzt obj " hält während "sofort nach "die zeit des Bestehens von change"" . 
(=>
      (and
            (instance ?CHANGE ChangeOfPossession)
            (origin ?CHANGE ?AGENT1)
            (destination ?CHANGE ?AGENT2)
            (instance ?AGENT2 Agent)
            (patient ?CHANGE ?OBJ))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?CHANGE))
                  (possesses ?AGENT1 ?OBJ))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?CHANGE))
                  (possesses ?AGENT2 ?OBJ))))