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

不對稱關係 (AsymmetricRelation)

A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

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

Instance(s)

直接實例  直接次種類  範圍  範圍次種類  （結合）價  文字說明  續接屬性  正面函數  反面函數  正部分  成員  包含訊息  屬性  方式/情狀  或然率函數  在注意範圍中  串列中  封閉於  反射於...  非反射於...  偏序於...  全序於...  三分法  等同關係於  肇因  次類肇因  時間  在...期間為真  利用  有意圖  有技巧  有權使...為真  須使...為真  相交  穿入  擁有  先決條件  實現  以...語言表達  使用  同一元素  元素  計數函數  圖部分  路徑長  測量  持續時間  次數  時間部分  時段相接  日期  表面  洞  主體函數  部分填充  適當填充  填滿  填充  表皮函數  發展期形式  居住  雙親  作者  編者  出版  人造物版本  公民  情態屬性 

Subclass(es)

格位角色  命題態度  受事導向（歷程） 

Coordinate term(s)

偏序關係 

Axioms (1)

If , then rel 是 不對稱關係 的 實例. 
(=>
      (and
            (instance ?REL BinaryRelation)
            (or
                  (domain ?REL 1 ?CLASS1)
                  (domainSubclass ?REL 1 ?CLASS1))
            (or
                  (domain ?REL 2 ?CLASS2)
                  (domainSubclass ?REL 2 ?CLASS2)
                  (range ?REL ?CLASS2)
                  (rangeSubclass ?REL ?CLASS2))
            (disjoint ?CLASS1 ?CLASS2))
      (instance ?REL AsymmetricRelation))