Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

symetrická relace (SymmetricRelation)

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

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  relace  
is subclass of
  binární relace  
is subclass of
  symetrická relace  

Instance(s)

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

Podtřída(y)

relace ekvivalence 

Související termín(y)

antisymetrická relace  binární predikát  netranzitivní relace  ireflexivní relace  reflexivní relace  tranzitivní relace  trichotomická relace  unární funkce 

Related WordNet synsets

See more related synsets on a separate page.

Axiomy (2)

(=>
      (instance ?REL SymmetricRelation)
      (forall
            (?INST1 ?INST2)
            (=>
                  (holds ?REL ?INST1 ?INST2)
                  (holds ?REL ?INST2 ?INST1))))
Jestliže relation je equivalence relation on class, potom relation je instancí třídy tranzitivní relace a relation je instancí třídy symetrická relace a relation je reflexive on class. 
(=>
      (equivalenceRelationOn ?RELATION ?CLASS)
      (and
            (instance ?RELATION TransitiveRelation)
            (instance ?RELATION SymmetricRelation)
            (reflexiveOn ?RELATION ?CLASS)))