netranzitivní relace (IntransitiveRelation)

A BinaryRelation rel is intransitive only if (rel inst1 inst2) and (rel inst2 inst3) imply not (rel inst1 inst3), for all inst1, inst2, and inst3.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

entita

abstraktum

relace

binární relace

netranzitivní relace

Instance(s)

immediate instance immediate subclass member penetrates element meets temporally parent

Související termín(y)

antisymetrická relace binární predikát ireflexivní relace reflexivní relace symetrická relace tranzitivní relace trichotomická relace unární funkce

Axiomy (1)

jestliže rel je instancí třídy netranzitivní relace,
potom pro všechny inst1,inst2,inst3 platí: jestliže rel(inst1,inst2) holds a rel(inst2,inst3) holds, potom rel(inst1,inst3) doesn't hold

(=>
      (instance ?REL IntransitiveRelation)
      (forall
            (?INST1 ?INST2 ?INST3)
            (=>
                  (and
                        (holds ?REL ?INST1 ?INST2)
                        (holds ?REL ?INST2 ?INST3))
                  (not
                        (holds ?REL ?INST1 ?INST3)))))