mao2 dun4 shu3 xing4 (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)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

shu4 ci2

bian4 yi4 yuan2 shu4 guan1 xi4
is instance of

mao2 dun4 shu3 xing4

Coordinate term(s)

zhi3 ding4 han2 shu4 zui4 da4 gong1 yue1 shu4 han2 shu4 zui4 xiao3 gong1 bei4 shu4 han2 shu4 xu4 lie4 han2 shu4 wu2 jiao1 ji2 fen1 jie3 wu2 jiao1 ji2 guan1 xi4 qiong2 jin4 de5 shu3 xing4 qiong2 jin4 de5 fen1 jie3 cheng2 li4 fen1 ge1

Axioms (22)

if dui4 li4 yu1 ?,
then if element shi4 "()" de5 yi1 cheng2 yuan2, then element shi4 shu3 xing4 de5 shi2 li4

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

if dui4 li4 yu1 ?,
then for all attr1,attr2 holds:
- if attr1 deng3 yu1 ""()" de5 di4 er4 yuan2 su4" and attr2 deng3 yu1 ""()" de5 di4 er4 yuan2 su4" and number1 deng3 yu1 number2,
- then if obj you3 shu3 xing4 attr1, then obj you3 shu3 xing4 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 dui4 obj2 shi4 attr1 and dui4 li4 yu1 ? and attr1 shi4 "()" de5 yi1 cheng2 yuan2 and attr2 shi4 "()" de5 yi1 cheng2 yuan2 and attr1 deng3 yu1 attr2, then obj1 dui4 obj2 shi4 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)))

jia3 de5 dui4 li4 yu1 zhen1 de5.

(contraryAttribute False True)

ke3 neng2 de5 dui4 li4 yu1 bu2 tai4 ke3 neng2 de5.

(contraryAttribute Likely Unlikely)

bei3 fang1 dui4 li4 yu1 nan2 fang1.

(contraryAttribute North South East West)

shui3 ping2 xian4 dui4 li4 yu1 chui2 zhi2 de5.

(contraryAttribute Horizontal Vertical)

zai4...zhi1 shang4 dui4 li4 yu1 zai4...zhi1 xia4.

(contraryAttribute Above Below)

you4 bian1 dui4 li4 yu1 zuo3 bian1.

(contraryAttribute Right Left)

dan1 fang1 cheng2 nuo4 dui4 li4 yu1 qi4 yue1.

(contraryAttribute NakedPromise Contract)

gu4 ti1 de5 dui4 li4 yu1 ye4 ti1 de5.

(contraryAttribute Solid Liquid Gas)

wei4 bei4 guang1 zhao4 de5 dui4 li4 yu1 bei4 guang1 zhao4 de5.

(contraryAttribute Unilluminated Illuminated)

duo1 cai3 de5 dui4 li4 yu1 dan1 se4 de5.

(contraryAttribute Polychromatic Monochromatic)

bu2 yi4 wan1 qu3 de5 dui4 li4 yu1 ke3 bian4 xing2 de5.

(contraryAttribute Rigid Pliable)

qian2 de5 dui4 li4 yu1 chao2 shi1.

(contraryAttribute Dry Damp)

bu2 yi4 sui4 de5 dui4 li4 yu1 yi4 sui4 de5.

(contraryAttribute Unbreakable Fragile)

si3 dui4 li4 yu1 huo2 de5.

(contraryAttribute Dead Living)

xiong2 xing4 dui4 li4 yu1 ci2 xing4.

(contraryAttribute Male Female)

wei4 wan2 quan2 xing2 cheng2 de5 dui4 li4 yu1 wan2 quan2 xing2 cheng2 de5.

(contraryAttribute NonFullyFormed FullyFormed)

pei1 tai1 de5 dui4 li4 yu1 you4 ti1 de5.

(contraryAttribute Embryonic Larval)

chen2 shui4 dui4 li4 yu1 wu2 yi4 shi2.

(contraryAttribute Asleep Unconscious Awake)

wu2 yi4 shi2 dui4 li4 yu1 qing1 xing3.

(contraryAttribute Unconscious Awake)