Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

saamanjasyapUrNa sambandha (SymmetricRelation)

A BinaryRelation rel is symmetric just in case (rel inst1 inst2) imples (rel inst2 inst1), for all inst1 and inst2.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]

is subclass of

amUrta

is subclass of

sambandha

is subclass of

dvi-aadhaarI sambandha

is subclass of

saamanjasyapUrNa sambandha

Instance(s)

disjoint independent probability overlaps temporally connected meets spatially overlaps spatially overlaps partially sibling connected engineering components

Subclass(es)

samataa sambandha

Coordinate term(s)

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

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

agar rel is an instance of saamanjasyapUrNa sambandha,
to sab-kuch inst1,inst2 ke lie hai, ki: agar rel(inst1,inst2) holds, to rel(inst2,inst1) holds

(=>
      (instance ?REL SymmetricRelation)
      (forall
            (?INST1 ?INST2)
            (=>
                  (holds ?REL ?INST1 ?INST2)
                  (holds ?REL ?INST2 ?INST1))))

Agar relation is equivalence relation on class, to relation is an instance of sakarmaka sambandha aur relation is an instance of saamanjasyapUrNa sambandha aur relation is reflexive on class.

(=>
      (equivalenceRelationOn ?RELATION ?CLASS)
      (and
            (instance ?RELATION TransitiveRelation)
            (instance ?RELATION SymmetricRelation)
            (reflexiveOn ?RELATION ?CLASS)))