intransitive Relation (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.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

Wesen

abstrakter Gegenstand

Relation

zweiwertige Relation

intransitive Relation

Instance(s)

direkterFall direckteTeilkategorie mitglied dringtEin element schliesstZeitlichAn elternteil

Coordinate term(s)

antisymmetrische Relation zweistellige Prädikat irreflexive Relation reflexive Relation symmetrische Relation transitive Relation trichotomizierende Relation einstellige Funktion

Axioms (1)

wenn rel ist ein fall von intransitive Relation ,
dann für jeden inst1,inst2,inst3 gilt: wenn rel(inst1,inst2) gilt und rel(inst2,inst3) gilt , dann rel(inst1,inst3) gilt nicht

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