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

Subclass(es)

dvi-aadhaary prakaarya triangii lakshana

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

agar rel is an instance of matraaon kaa sanbandha vistaara aur rel is an instance of tri-angI sambandha aur number1 is an instance of vaastavika anka aur number2 is an instance of vaastavika anka aur rel(number1,number2,value) holds,
to sab-kuch unit ke lie hai, ki: agar unit is an instance of maapaka ikaaI, to rel("number1 unit(s)","number2 unit(s)","value unit(s)") holds

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