Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

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.

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

třída
is instance of
  inheritable relation  
is instance of
  case role  

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  relace  
is subclass of
  predikát  
is subclass of
[tree]
entita
is subclass of
  abstraktum  
is subclass of
  relace  
is subclass of
  binární relace  
is subclass of
is subclass of
  binární predikát  
is subclass of
[tree]
entita
is subclass of
  abstraktum  
is subclass of
  relace  
is subclass of
  binární relace  
is subclass of
  ireflexivní relace  
is subclass of
[tree]
entita
is subclass of
  abstraktum  
is subclass of
  relace  
is subclass of
  binární relace  
is subclass of
  antisymetrická relace  
is subclass of
is subclass of
  nesymetrická relace  
is subclass of
is subclass of
  case role  

Instance(s)

agent  destination  experiencer  origin  patient  path  direction 

Související termín(y)

binární funkce  binární predikát  binární relace  funkce  intentional relation  postoj k objektu  predikát  pravděpodobnostní relace  postoj k tvrzení  funkce se čtyřmi argumenty  predikát se čtyřmi argumenty  relace se čtyřmi argumenty  predikát s pěti argumenty  relace s pěti argumenty  relace rozšířená na veličiny  relace s jedinou hodnotou  prostorová relace  časová relace  funkce se třemi argumenty  predikát se třemi argumenty  terciální relace  unární funkce 

Constrains relations

capability 

Related WordNet synsets

See more related synsets on a separate page.

Axiomy (2)

Jestliže role je instancí třídy case role a role(arg1,arg2) holds a arg1 je instancí třídy proc, potom arg2 je capable to do proc in role role. 
(=>
      (and
            (instance ?ROLE CaseRole)
            (holds ?ROLE ?ARG1 ?ARG2)
            (instance ?ARG1 ?PROC))
      (capability ?PROC ?ROLE ?ARG2))
Jestliže rel je instancí třídy case role a rel(process,obj) holds, potom existuje time tak, že "místo kde process byl v čase time" se překrývá s obj. 
(=>
      (and
            (instance ?REL CaseRole)
            (holds ?REL ?PROCESS ?OBJ))
      (exists
            (?TIME)
            (overlapsSpatially
                  (WhereFn ?PROCESS ?TIME)
                  ?OBJ)))