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

對稱關係 (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
  抽象的  
is subclass of
  關係  
is subclass of
  二元關係  
is subclass of
  對稱關係  

Instance(s)

無交集  獨立或然率  時段重疊  相連的  空間上接觸  空間重疊  部分重疊  兄弟姊妹  已連結工程元件 

Subclass(es)

等同關係 

Coordinate term(s)

反對稱關係  二元述詞  非可遞關係  非反身關係  反身關係  可遞關係  三角關係  一元函數 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

(=>
      (instance ?REL SymmetricRelation)
      (forall
            (?INST1 ?INST2)
            (=>
                  (holds ?REL ?INST1 ?INST2)
                  (holds ?REL ?INST2 ?INST1))))
If relation 等同關係 於 class , then relation 是 可遞關係 的 實例 and relation 是 對稱關係 的 實例 and relation 反應於 class . 
(=>
      (equivalenceRelationOn ?RELATION ?CLASS)
      (and
            (instance ?RELATION TransitiveRelation)
            (instance ?RELATION SymmetricRelation)
            (reflexiveOn ?RELATION ?CLASS)))