Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

非反身關係 (IrreflexiveRelation)

Relation rel is irreflexive if (rel inst inst) holds for no value of inst.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
實體
is subclass of
  抽象的  
is subclass of
  關係  
is subclass of
  二元關係  
is subclass of
  非反身關係  

Instance(s)

無交集  封閉續接屬性  正面函數  反面函數  次聚集  屬性  方式/情狀  小於  大於  增加可能性  降低可能性  串列中  抑制  避免  次命題  次計畫  圖部分  路徑長  大於  小於  開始  完成  先於  期間  較早  空間上接觸  部分重疊  外表部分  內部  兄弟姊妹  已連結工程元件  次組織  情態屬性 

Subclass(es)

不對稱關係 

Coordinate term(s)

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

Axioms (1)

If rel 是 非反身關係 的 實例, then for all inst holds: rel(inst,inst) not(不) 成立. 
(=>
      (instance ?REL IrreflexiveRelation)
      (forall
            (?INST)
            (not
                  (holds ?REL ?INST ?INST))))