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

RelazioneTricotomizzante (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]
Entitá
is subclass of
  Astratto  
is subclass of
  Relazione  
is subclass of
  RelazioneBinaria  
is subclass of
  RelazioneTricotomizzante  

Subclass(es)

RelazioneDiOrdineTotale 

Coordinate term(s)

RelazioneAntisimmetrica  PredicatoBinario  RelazioneIntransitiva  RelazioneNonRiflessiva  RelazioneRiflessiva  RelazioneSimmetrica  RelazioneTransitiva  FunzioneUnaria 

Axioms (1)

Se rel é un' istanza di RelazioneTricotomizzante, allora per ogni inst1,inst2 vale: rel(inst1,inst2 vales o inst1 is uguale a inst2 o rel(inst2,inst1 vales. 
(=>
      (instance ?REL TrichotomizingRelation)
      (forall
            (?INST1 ?INST2)
            (or
                  (holds ?REL ?INST1 ?INST2)
                  (equal ?INST1 ?INST2)
                  (holds ?REL ?INST2 ?INST1))))