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

三角關係 (TrichotomizingRelation)

A BinaryRelation rel is a TrichotomizingRelation just in case all ordered pairs consisting of distinct individuals are elements of rel.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
實體
is subclass of
  抽象的  
is subclass of
  關係  
is subclass of
  二元關係  
is subclass of
  三角關係  

Subclass(es)

全序關係 

Coordinate term(s)

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

Axioms (1)

If rel 是 三角關係 的 實例, then for all inst1,inst2 holds: rel(inst1,inst2) (不) 成立s or inst1 等於 inst2 or rel(inst2,inst1) (不) 成立s. 
(=>
      (instance ?REL TrichotomizingRelation)
      (forall
            (?INST1 ?INST2)
            (or
                  (holds ?REL ?INST1 ?INST2)
                  (equal ?INST1 ?INST2)
                  (holds ?REL ?INST2 ?INST1))))