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.
SUMO / BASE-ONTOLOGY
eka mUlyaadeya sambandha
pUrNa mUlyaadeya sambandha
aanshika mUyaadeya sambandha
matraaon kaa sanbandha vistaara
samUha yaa varga
Related WordNet synsets
See more related synsets on a separate page.
- 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"
- having a relation or being related
Agar and ? are disjoint aur rel is a member of "()", to rel is an instance of sambandha.
(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 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)
(instance ?REL Relation)
(valence ?REL ?VALENCE)
(?NUMBER ?ELEMENT ?CLASS)
(lessThan ?NUMBER ?VALENCE)
(domain ?REL ?NUMBER ?CLASS)
(instance ?ELEMENT ?CLASS)))
(holds ?REL @ROW ?ITEM))))))