sambandha (Relation)

The Class of relations. There are three kinds of Relation: Predicate, Function, and List. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators. A List, on the other hand, is a particular ordered n-tuple.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

astitva

amUrta

sambandha

Subclass(es)

eka mUlyaadeya sambandha pUrNa mUlyaadeya sambandha aanshika mUyaadeya sambandha dvi-aadhaarI sambandha sambhaavanaa sambandha sthaana sambandha saamayika sambandha tri-angI sambandha chaturangI sambandha panchaangI sambandha sUchI vidheya parivartaniiya sanbandha matraaon kaa sanbandha vistaara

Coordinate term(s)

visheshtaa aalekha tatva aalekha prastaava parimaaNa samUha yaa varga

Constrains relations

domain domain subclass holds subrelation valence

Related WordNet synsets

relation: an abstraction belonging to or characteristic of two entities or parts together
relationship, human relationship: (`relationship' is often used where `relation' would serve (as in "the relationship between inflation and unemployment")) preferred usage of `relationship' is for human relations or states of relatedness; "the relationship between mothers and children"
relational: having a relation or being related

See more related synsets on a separate page.

Axioms (6)

Agar and ? are disjoint aur rel is a member of "()", to rel is an instance of sambandha.

(=>
      (and
            (disjointRelation @ROW)
            (inList
                  ?REL
                  (ListFn @ROW)))
      (instance ?REL Relation))

sambandha is disjointly decomposed into dvi-aadhaarI sambandha,tri-angI sambandha,chaturangI sambandha,panchaangI sambandha,parivartaniiya sanbandha.

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)

sambandha is exhaustively partitioned into vidheya,prakaarya,sUchI.

(partition Relation Predicate Function List)

sambandha is exhaustively partitioned into pUrNa mUlyaadeya sambandha,aanshika mUyaadeya sambandha.

(partition Relation TotalValuedRelation PartialValuedRelation)

Agar rel is an instance of sambandha, to rel() holds agar hai rel() ke lie hai, ki.

(=>
      (instance ?REL Relation)
      (<=>
            (holds ?REL @ROW)
            (?REL @ROW)))

rel is an instance of pUrNa mUlyaadeya sambandha agar hai yah kuch valence nahin, ki rel is an instance of sambandha aur rel ke valence konaanke bahanen hai aur

agar sab-kuch number,element,class ke lie hai, ki: agar number is less than valence aur the number number argument of rel is an instance of class aur element is equal to "numberth element of "()"", to element is an instance of class,
to yah kuch item nahin, ki rel(,item) holds

(<=>
      (instance ?REL TotalValuedRelation)
      (exists
            (?VALENCE)
            (and
                  (instance ?REL Relation)
                  (valence ?REL ?VALENCE)
                  (=>
                        (forall
                              (?NUMBER ?ELEMENT ?CLASS)
                              (=>
                                    (and
                                          (lessThan ?NUMBER ?VALENCE)
                                          (domain ?REL ?NUMBER ?CLASS)
                                          (equal
                                                ?ELEMENT
                                                (ListOrderFn
                                                      (ListFn @ROW)
                                                      ?NUMBER)))
                                    (instance ?ELEMENT ?CLASS)))
                        (exists
                              (?ITEM)
                              (holds ?REL @ROW ?ITEM))))))