反身關係 (ReflexiveRelation)

Relation rel is reflexive if (rel inst inst) for all inst.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

實體

抽象的

關係

二元關係

反身關係

Instance(s)

部分位於次圖時段重疊相連的空間重疊

Subclass(es)

偏序關係等同關係

Coordinate term(s)

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

Axioms (1)

if rel 是反身關係的實例,
then if rel(inst1,inst2) (不) 成立s or rel(inst2,inst1) (不) 成立s, then rel(inst1,inst1) (不) 成立s

(=>
      (instance ?REL ReflexiveRelation)
      (=>
            (or
                  (holds ?REL ?INST1 ?INST2)
                  (holds ?REL ?INST2 ?INST1))
            (holds ?REL ?INST1 ?INST1)))