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

predicate (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'.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

class
is instance of
  inheritable relation  
is instance of
  predicate  

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  predicate  

Instance(s)

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

Subclass(es)

logical operator  binary predicate  ternary predicate  quaternary predicate  quintary predicate 

Coordinate term(s)

binary function  binary predicate  binary relation  case role  function  intentional relation  list  object attitude  partial valued relation  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  total valued relation  unary function  variable arity relation 

Axioms (1)

relation is exhaustively partitioned into predicate,function,list. 
(partition Relation Predicate Function List)