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

# tri-angI sambandha (TernaryRelation)

TernaryRelations relate three items. The two subclasses of TernaryRelation are TernaryPredicate and BinaryFunction.

## Ontology

SUMO / BASE-ONTOLOGY

## Class(es)

 varga

inheritable relation

tri-angI sambandha

## Superclass(es)

 astitva

amUrta

sambandha

tri-angI sambandha

## Coordinate term(s)

dvi-aadhaary prakaarya  dvi-lakshana  dvi-aadhaarI sambandha  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  pUrNa mUlyaadeya sambandha  ekaadhaary prakaarya  parivartaniiya sanbandha

## Axioms (3)

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 tri-angI sambandha, to yah kuch item1,item2,item3,item4, nahin, ki rel(item1,item2,item3,item4,) holds.
```(=>
(instance ?REL TernaryRelation)
(not
(exists
(?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 @ROW)
(holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 @ROW))))```

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