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

san1 jiao3 guan1 xi4 (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]
shi2 ti3
is subclass of
  chou1 xiang4 de5  
is subclass of
  guan1 xi4  
is subclass of
  er4 yuan2 guan1 xi4  
is subclass of
  san1 jiao3 guan1 xi4  

Subclass(es)

quan2 xu4 guan1 xi4 

Coordinate term(s)

fan3 dui4 chen4 guan1 xi4  er4 yuan2 shu4 ci2  fei1 ke3 di4 guan1 xi4  fei1 fan3 shen1 guan1 xi4  fan3 shen1 guan1 xi4  dui4 chen4 guan1 xi4  ke3 di4 guan1 xi4  yi1 yuan2 han2 shu4 

Axioms (1)

If rel shi4 san1 jiao3 guan1 xi4 de5 shi2 li4, then for all inst1,inst2 holds: rel(inst1,inst2) (bu2) cheng2 li4s or inst1 deng3 yu1 inst2 or rel(inst2,inst1) (bu2) cheng2 li4s. 
(=>
      (instance ?REL TrichotomizingRelation)
      (forall
            (?INST1 ?INST2)
            (or
                  (holds ?REL ?INST1 ?INST2)
                  (equal ?INST1 ?INST2)
                  (holds ?REL ?INST2 ?INST1))))