contrary attribute (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.

Ontologie

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

třída

inheritable relation

predikát

relace s proměnným počtem argumentů
is instance of

contrary attribute

Související termín(y)

assignment fn greatest common divisor fn least common multiple fn list fn disjoint decomposition disjoint relation exhaustive attribute exhaustive decomposition holds partition

Axiomy (22)

jestliže contrary attribute() platí,
potom jestliže element je a member of "()", potom element je instancí třídy atribut

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

jestliže contrary attribute() platí,
potom pro všechny attr1,attr2 platí:
- jestliže attr1 se rovná "number1th element of "()"" a attr2 se rovná "number2th element of "()"" a number1 se nerovná number2,
- potom jestliže obj má atribut attr1, potom obj nemá atribut 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))))))

Jestliže obj1 je attr1 vzhledem k obj2 a contrary attribute() platí a attr1 je a member of "()" a attr2 je a member of "()" a attr1 se nerovná attr2, potom obj1 není attr2 vzhledem k obj2.

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

contrary attribute(false,true) platí.

(contraryAttribute False True)

contrary attribute(likely,unlikely) platí.

(contraryAttribute Likely Unlikely)

contrary attribute(north,south,east,west) platí.

(contraryAttribute North South East West)

contrary attribute(horizontal,vertical) platí.

(contraryAttribute Horizontal Vertical)

contrary attribute(above,below) platí.

(contraryAttribute Above Below)

contrary attribute(right,left) platí.

(contraryAttribute Right Left)

contrary attribute(naked promise,contract) platí.

(contraryAttribute NakedPromise Contract)

contrary attribute(solid,liquid,gas) platí.

(contraryAttribute Solid Liquid Gas)

contrary attribute(unilluminated,illuminated) platí.

(contraryAttribute Unilluminated Illuminated)

contrary attribute(polychromatic,monochromatic) platí.

(contraryAttribute Polychromatic Monochromatic)

contrary attribute(rigid,pliable) platí.

(contraryAttribute Rigid Pliable)

contrary attribute(dry,damp) platí.

(contraryAttribute Dry Damp)

contrary attribute(unbreakable,fragile) platí.

(contraryAttribute Unbreakable Fragile)

contrary attribute(dead,living) platí.

(contraryAttribute Dead Living)

contrary attribute(male,female) platí.

(contraryAttribute Male Female)

contrary attribute(non fully formed,fully formed) platí.

(contraryAttribute NonFullyFormed FullyFormed)

contrary attribute(embryonic,larval) platí.

(contraryAttribute Embryonic Larval)

contrary attribute(spící,v bezvědomí,bdělý) platí.

(contraryAttribute Asleep Unconscious Awake)

contrary attribute(v bezvědomí,bdělý) platí.

(contraryAttribute Unconscious Awake)