Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi Koncept: Anglické slovo: Hlavní stránka

# 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ů

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)

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

```(=>
(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)`

`(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)`