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

predikát (Predicate)

A Predicate is a sentence-forming Relation. Each tuple in the Relation is a finite, ordered sequence of objects. The fact that a particular tuple is an element of a Predicate is denoted by '(*predicate* arg_1 arg_2 .. arg_n)', where the arg_i are the objects so related. In the case of BinaryPredicates, the fact can be read as `arg_1 is *predicate* arg_2' or `a *predicate* of arg_1 is arg_2'.

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

třída
is instance of
  inheritable relation  
is instance of
  predikát  

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  relace  
is subclass of
  predikát  

Instance(s)

disjoint relation  contrary attribute  exhaustive attribute  exhaustive decomposition  disjoint decomposition  partition  holds 

Podtřída(y)

logický operátor  binární predikát  predikát se třemi argumenty  predikát se čtyřmi argumenty  predikát s pěti argumenty 

Související termín(y)

binární funkce  binární predikát  binární relace  case role  funkce  intentional relation  seznam  postoj k objektu  neúplná relace  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  úplná relace  unární funkce  relace s proměnným počtem argumentů 

Axiomy (1)

relace je exhaustively partitioned into predikát,funkce,seznam. 
(partition Relation Predicate Function List)