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

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)`

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