矛盾屬性 (contraryAttribute)

A contraryAttribute is a set of Attributes such that something can not simultaneously have more than one of these Attributes. For example, (contraryAttribute Pliable Rigid) means that nothing can be both Pliable and Rigid.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

種類

可繼承關係

述詞

變異元數關係

矛盾屬性

Coordinate term(s)

指定函數最大公約數函數最小公倍數函數序列函數無交集分解無交集關係窮盡的屬性窮盡的分解成立分割

Axioms (22)

if 對立於 ?,
then if element 是 "()" 的一成員, then element 是屬性的實例

(=>
      (contraryAttribute @ROW)
      (=>
            (inList
                  ?ELEMENT
                  (ListFn @ROW))
            (instance ?ELEMENT Attribute)))

if 對立於 ?,
then for all attr1,attr2 holds:
- if attr1 等於 ""()" 的第二元素" and attr2 等於 ""()" 的第二元素" and number1 等於 number2,
- then if obj 有屬性 attr1, then obj 有屬性 attr2

(=>
      (contraryAttribute @ROW)
      (forall
            (?ATTR1 ?ATTR2)
            (=>
                  (and
                        (equal
                              ?ATTR1
                              (ListOrderFn
                                    (ListFn @ROW)
                                    ?NUMBER1))
                        (equal
                              ?ATTR2
                              (ListOrderFn
                                    (ListFn @ROW)
                                    ?NUMBER2))
                        (not
                              (equal ?NUMBER1 ?NUMBER2)))
                  (=>
                        (property ?OBJ ?ATTR1)
                        (not
                              (property ?OBJ ?ATTR2))))))

If obj1 對 obj2 是 attr1 and 對立於 ? and attr1 是 "()" 的一成員 and attr2 是 "()" 的一成員 and attr1 等於 attr2, then obj1 對 obj2 是 not attr2.

(=>
      (and
            (orientation ?OBJ1 ?OBJ2 ?ATTR1)
            (contraryAttribute @ROW)
            (inList
                  ?ATTR1
                  (ListFn @ROW))
            (inList
                  ?ATTR2
                  (ListFn @ROW))
            (not
                  (equal ?ATTR1 ?ATTR2)))
      (not
            (orientation ?OBJ1 ?OBJ2 ?ATTR2)))

假的對立於真的.

(contraryAttribute False True)

可能的對立於不太可能的.

(contraryAttribute Likely Unlikely)

北方對立於南方.

(contraryAttribute North South East West)

水平線對立於垂直的.

(contraryAttribute Horizontal Vertical)

在...之上對立於在...之下.

(contraryAttribute Above Below)

右邊對立於左邊.

(contraryAttribute Right Left)

單方承諾對立於契約.

(contraryAttribute NakedPromise Contract)

固體的對立於液體的.

(contraryAttribute Solid Liquid Gas)

未被光照的對立於被光照的.

(contraryAttribute Unilluminated Illuminated)

多彩的對立於單色的.

(contraryAttribute Polychromatic Monochromatic)

不易彎曲的對立於可變形的.

(contraryAttribute Rigid Pliable)

乾的對立於潮濕.

(contraryAttribute Dry Damp)

不易碎的對立於易碎的.

(contraryAttribute Unbreakable Fragile)

死對立於活的.

(contraryAttribute Dead Living)

雄性對立於雌性.

(contraryAttribute Male Female)

未完全形成的對立於完全形成的.

(contraryAttribute NonFullyFormed FullyFormed)

胚胎的對立於幼體的.

(contraryAttribute Embryonic Larval)

沉睡對立於無意識.

(contraryAttribute Asleep Unconscious Awake)

無意識對立於清醒.

(contraryAttribute Unconscious Awake)