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

Fallrolle (CaseRole)

The Class of Predicates relating the spatially distinguished parts of a Process. CaseRoles include, for example, the agent, patient or destination of an action, the flammable substance in a burning process, or the water that falls in rain.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Kategorie
is instance of
  inheritable relation  
is instance of
  Fallrolle  

Superclass(es)

[tree]
Wesen
is subclass of
  abstrakter Gegenstand  
is subclass of
  Relation  
is subclass of
  Prädikat  
is subclass of
[tree]
Wesen
is subclass of
  abstrakter Gegenstand  
is subclass of
  Relation  
is subclass of
  zweiwertige Relation  
is subclass of

is subclass of
  zweistellige Prädikat  
is subclass of
[tree]
Wesen
is subclass of
  abstrakter Gegenstand  
is subclass of
  Relation  
is subclass of
  zweiwertige Relation  
is subclass of
  irreflexive Relation  
is subclass of
[tree]
Wesen
is subclass of
  abstrakter Gegenstand  
is subclass of
  Relation  
is subclass of
  zweiwertige Relation  
is subclass of
  antisymmetrische Relation  
is subclass of

is subclass of
  asymmetrische Relation  
is subclass of

is subclass of
  Fallrolle  

Instance(s)

agent  bestimmungsort  experiencer  origin  patient  pfad  richtung 

Coordinate term(s)

zweistellige Funktion  zweistellige Prädikat  zweiwertige Relation  Funktion  intentional relation  Gegenstandeinstellung  Prädikat  Wahrscheinlichkeitsrelation  propositionale Einstellung  vierstellige funktion  vierstellige Prädikat  viewwertige Relation  fünfstellige Prädikat  fünfwertige Relation  Relation erweitert auf Quantitäten  einwertige Relation  räumliche Relation  zeitliche Relation  dreistellige Funktion  dreistellige Prädikat  dreiwertige Relation  einstellige Funktion 

Constrains relations

fähigkeit 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

Wenn role ist ein fall von Fallrolle und role(arg1,arg2) gilt und arg1 ist ein fall von proc , dann arg2 ist fähig , in der Rolle role proc zu tun.
(=>
      (and
            (instance ?ROLE CaseRole)
            (holds ?ROLE ?ARG1 ?ARG2)
            (instance ?ARG1 ?PROC))
      (capability ?PROC ?ROLE ?ARG2))

Wenn rel ist ein fall von Fallrolle und rel(process,obj) gilt , dann es gibt ein time der "die Stelle wo process an time war" deckt sich mit obj räumlich .
(=>
      (and
            (instance ?REL CaseRole)
            (holds ?REL ?PROCESS ?OBJ))
      (exists
            (?TIME)
            (overlapsSpatially
                  (WhereFn ?PROCESS ?TIME)
                  ?OBJ)))