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)

varga

inheritable relation

vidheya

parivartaniiya sanbandha
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)

agar is opposed to ?,
to agar element is a member of "()", to element is an instance of visheshtaa

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

agar is opposed to ?,
to sab-kuch attr1,attr2 ke lie hai, ki:
- agar attr1 is equal to "number1th element of "()"" aur attr2 is equal to "number2th element of "()"" aur number1 is not equal to number2,
- to agar obj has an attribute attr1, to obj has not an attribute 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))))))

Agar obj1 is attr1 to obj2 aur is opposed to ? aur attr1 is a member of "()" aur attr2 is a member of "()" aur attr1 is not equal to attr2, to obj1 is not attr2 to 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 is opposed to true.

(contraryAttribute False True)

likely is opposed to unlikely.

(contraryAttribute Likely Unlikely)

north is opposed to south.

(contraryAttribute North South East West)

horizontal is opposed to vertical.

(contraryAttribute Horizontal Vertical)

above is opposed to below.

(contraryAttribute Above Below)

right is opposed to left.

(contraryAttribute Right Left)

naked promise is opposed to contract.

(contraryAttribute NakedPromise Contract)

solid is opposed to liquid.

(contraryAttribute Solid Liquid Gas)

unilluminated is opposed to illuminated.

(contraryAttribute Unilluminated Illuminated)

polychromatic is opposed to monochromatic.

(contraryAttribute Polychromatic Monochromatic)

rigid is opposed to pliable.

(contraryAttribute Rigid Pliable)

dry is opposed to damp.

(contraryAttribute Dry Damp)

unbreakable is opposed to fragile.

(contraryAttribute Unbreakable Fragile)

dead is opposed to living.

(contraryAttribute Dead Living)

male is opposed to female.

(contraryAttribute Male Female)

non fully formed is opposed to fully formed.

(contraryAttribute NonFullyFormed FullyFormed)

embryonic is opposed to larval.

(contraryAttribute Embryonic Larval)

soyaa huaa is opposed to sangyaahIna.

(contraryAttribute Asleep Unconscious Awake)

sangyaahIna is opposed to jaagarUka.

(contraryAttribute Unconscious Awake)