dvi-aadhaarI sambandha (BinaryRelation)

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

dvi-aadhaarI sambandha

Superclass(es)

astitva

amUrta

sambandha

dvi-aadhaarI sambandha

Instance(s)

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

rel is an instance of dvi-aadhaarI sambandha
the number argument of rel is an instance of class1 yaa the number argument of rel is a subclass of class1
the number argument of rel is an instance of class2 yaa the number argument of rel is a subclass of class2 yaa range of rel is an instance of class2 yaa the values returned by rel are subclasses of class2
class1 asansavat class2 se hai

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

agar rel is an instance of matraaon kaa sanbandha vistaara aur rel is an instance of dvi-aadhaarI sambandha aur number1 is an instance of vaastavika anka aur number2 is an instance of vaastavika anka aur rel(number1,number2) 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)") holds

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