Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

case role (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)

class
is instance of
  inheritable relation  
is instance of
  case role  

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  predicate  
is subclass of
[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  binary relation  
is subclass of
is subclass of
  binary predicate  
is subclass of
[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  binary relation  
is subclass of
  irreflexive relation  
is subclass of
[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  binary relation  
is subclass of
  antisymmetric relation  
is subclass of
is subclass of
  asymmetric relation  
is subclass of
is subclass of
  case role  

Instance(s)

agent  destination  experiencer  origin  patient  path  direction 

Coordinate term(s)

binary function  binary predicate  binary relation  function  intentional relation  object attitude  predicate  probability relation  propositional attitude  quaternary function  quaternary predicate  quaternary relation  quintary predicate  quintary relation  relation extended to quantities  single valued relation  spatial relation  temporal relation  ternary function  ternary predicate  ternary relation  unary function 

Constrains relations

capability 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

If role is an instance of case role and role(arg1,arg2) holds and arg1 is an instance of proc, then arg2 is capable to do proc in role role. 
(=>
      (and
            (instance ?ROLE CaseRole)
            (holds ?ROLE ?ARG1 ?ARG2)
            (instance ?ARG1 ?PROC))
      (capability ?PROC ?ROLE ?ARG2))
If rel is an instance of case role and rel(process,obj) holds, then there exists time so that "the place where process was at time" overlaps with obj. 
(=>
      (and
            (instance ?REL CaseRole)
            (holds ?REL ?PROCESS ?OBJ))
      (exists
            (?TIME)
            (overlapsSpatially
                  (WhereFn ?PROCESS ?TIME)
                  ?OBJ)))