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

vidheya (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)

varga
is instance of
  inheritable relation  
is instance of
  vidheya  

Superclass(es)

[tree]
astitva
is subclass of
  amUrta  
is subclass of
  sambandha  
is subclass of
  vidheya  

Instance(s)

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

Subclass(es)

taarkika prachaalaka  dvi-lakshana  triangii lakshana  caturangii pakshana  pancha lakshana 

Coordinate term(s)

dvi-aadhaary prakaarya  dvi-lakshana  dvi-aadhaarI sambandha  vibhakti bhUmikaa  prakaarya  intentional relation  sUchI  vastu abhivQtti  aanshika mUyaadeya sambandha  sambhaavanaa sambandha  prastaavaatmak abhivQtti  chaturangI prakaarya  caturangii pakshana  chaturangI sambandha  pancha lakshana  panchaangI sambandha  matraaon kaa sanbandha vistaara  eka mUlyaadeya sambandha  sthaana sambandha  saamayika sambandha  tri-angI prakaarya  triangii lakshana  tri-angI sambandha  pUrNa mUlyaadeya sambandha  ekaadhaary prakaarya  parivartaniiya sanbandha 

Axioms (1)

sambandha is exhaustively partitioned into vidheya,prakaarya,sUchI. 
(partition Relation Predicate Function List)