fei1 ke3 di4 guan1 xi4 (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)

shi2 ti3

chou1 xiang4 de5

guan1 xi4

er4 yuan2 guan1 xi4

fei1 ke3 di4 guan1 xi4

Instance(s)

zhi2 jie1 shi2 li4 zhi2 jie1 ci4 zhong3 lei4 cheng2 yuan2 chuan1 ru4 yuan2 su4 shi2 duan4 xiang1 jie1 雙親

Coordinate term(s)

fan3 dui4 chen4 guan1 xi4 er4 yuan2 shu4 ci2 fei1 fan3 shen1 guan1 xi4 fan3 shen1 guan1 xi4 dui4 chen4 guan1 xi4 ke3 di4 guan1 xi4 san1 jiao3 guan1 xi4 yi1 yuan2 han2 shu4

Axioms (1)

if rel shi4 fei1 ke3 di4 guan1 xi4 de5 shi2 li4,
then for all inst1,inst2,inst3 holds: if rel(inst1,inst2) (bu2) cheng2 li4s and rel(inst2,inst3) (bu2) cheng2 li4s, then rel(inst1,inst3) not(bu2) cheng2 li4

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