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

BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.

## Ontology

SUMO / BASE-ONTOLOGY

## Class(es)

 varga

inheritable relation

## Superclass(es)

 astitva

amUrta

sambandha

distributes

## Subclass(es)

aatmavaachaka sambandha  anaatmavaachaka sambandha  saamanjasyapUrNa sambandha  saamanjasya-virodhi sambandha    sakarmaka sambandha  akarmaka sambandha  ekaadhaary prakaarya  dvi-lakshana

## Coordinate term(s)

dvi-aadhaary prakaarya  dvi-lakshana  vibhakti bhUmikaa  prakaarya  intentional relation  sUchI  vastu abhivQtti  aanshika mUyaadeya sambandha  vidheya  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

## Constrains relations

equivalence relation on  inverse  irreflexive on  partial ordering on  reflexive on  total ordering on  trichotomizing on

## Axioms (4)

sambandha is disjointly decomposed into dvi-aadhaarI sambandha,tri-angI sambandha,chaturangI sambandha,panchaangI sambandha,parivartaniiya sanbandha.
`(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)`

Agar rel is an instance of dvi-aadhaarI sambandha, to yah kuch item1,item2,item3, nahin, ki rel(item1,item2,item3,) holds.
```(=>
(instance ?REL BinaryRelation)
(not
(exists
(?ITEM1 ?ITEM2 ?ITEM3 @ROW)
(holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 @ROW))))```

Agar
, to rel is an instance of asaamanjasyapUrNa sambandha.
```(=>
(and
(instance ?REL BinaryRelation)
(or
(domain ?REL 1 ?CLASS1)
(domainSubclass ?REL 1 ?CLASS1))
(or
(domain ?REL 2 ?CLASS2)
(domainSubclass ?REL 2 ?CLASS2)
(range ?REL ?CLASS2)
(rangeSubclass ?REL ?CLASS2))
(disjoint ?CLASS1 ?CLASS2))
(instance ?REL AsymmetricRelation))```

```(=>
(and
(instance ?REL RelationExtendedToQuantities)
(instance ?REL BinaryRelation)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber)
(holds ?REL ?NUMBER1 ?NUMBER2))
(forall
(?UNIT)
(=>
(instance ?UNIT UnitOfMeasure)
(holds
?REL
(MeasureFn ?NUMBER1 ?UNIT)
(MeasureFn ?NUMBER2 ?UNIT)))))```