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]
astitva
is subclass of
  amUrta  
is subclass of
  sambandha  
is subclass of
  dvi-aadhaarI sambandha  
is subclass of
    

Subclass(es)

pUrna anukrama sambandha 

Coordinate term(s)

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

Axioms (1)

Agar rel is an instance of , to sab-kuch inst1,inst2 ke lie hai, ki: rel(inst1,inst2) holds yaa inst1 is equal to inst2 yaa rel(inst2,inst1) holds. 
(=>
      (instance ?REL TrichotomizingRelation)
      (forall
            (?INST1 ?INST2)
            (or
                  (holds ?REL ?INST1 ?INST2)
                  (equal ?INST1 ?INST2)
                  (holds ?REL ?INST2 ?INST1))))