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.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

Classe

inheritable relation

Predicato

RelazioneAdAritáVariabile
is instance of

contrary attribute

Coordinate term(s)

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

Axioms (22)

se é opposto a ?,
allora se element é un é membro di "(", allora element é un' istanza di Attributo

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

se é opposto a ?,
allora per ogni attr1,attr2 vale:
- se attr1 is uguale a "number1th elemento di "("" e attr2 is uguale a "number2th elemento di "("" e number1 is not uguale a number2,
- allora se obj ha un attributo attr1, allora obj ha not un attributo 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))))))

Se obj1 é attr1 a obj2 e é opposto a ? e attr1 é un é membro di "(" e attr2 é un é membro di "(" e attr1 is not uguale a attr2, allora obj1 é not attr2 a 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)))

false é opposto a true.

(contraryAttribute False True)

likely é opposto a unlikely.

(contraryAttribute Likely Unlikely)

north é opposto a south.

(contraryAttribute North South East West)

horizontal é opposto a vertical.

(contraryAttribute Horizontal Vertical)

above é opposto a below.

(contraryAttribute Above Below)

right é opposto a left.

(contraryAttribute Right Left)

naked promise é opposto a contract.

(contraryAttribute NakedPromise Contract)

solid é opposto a liquid.

(contraryAttribute Solid Liquid Gas)

unilluminated é opposto a illuminated.

(contraryAttribute Unilluminated Illuminated)

polychromatic é opposto a monochromatic.

(contraryAttribute Polychromatic Monochromatic)

rigid é opposto a pliable.

(contraryAttribute Rigid Pliable)

dry é opposto a damp.

(contraryAttribute Dry Damp)

unbreakable é opposto a fragile.

(contraryAttribute Unbreakable Fragile)

dead é opposto a living.

(contraryAttribute Dead Living)

male é opposto a female.

(contraryAttribute Male Female)

non fully formed é opposto a fully formed.

(contraryAttribute NonFullyFormed FullyFormed)

embryonic é opposto a larval.

(contraryAttribute Embryonic Larval)

Addormentato é opposto a Inconscio.

(contraryAttribute Asleep Unconscious Awake)

Inconscio é opposto a Sveglio.

(contraryAttribute Unconscious Awake)