非可遞關係 (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)

實體

抽象的

關係

二元關係

非可遞關係

Instance(s)

直接實例直接次種類成員穿入元素時段相接雙親

Coordinate term(s)

反對稱關係二元述詞非反身關係反身關係對稱關係可遞關係三角關係一元函數

Axioms (1)

if rel 是非可遞關係的實例,
then for all inst1,inst2,inst3 holds: if rel(inst1,inst2) (不) 成立s and rel(inst2,inst3) (不) 成立s, then rel(inst1,inst3) not(不) 成立

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