konträresAttribut (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)

Kategorie

inheritable relation

Prädikat

Relation mit veränderlicher Anzahl Argumente
is instance of

konträresAttribut

Coordinate term(s)

AssignmentFn GrössteGemeinsamerTeilerFn KleinsteGemeinsameVielfacheFn ListeFn disjunkteAufspaltung disjunkteRelation exhaustive attribute vollständigeAufspaltung gilt fach

Axioms (22)

wenn wird ? entgegengesetzet ,
dann wenn element ist ein Mitglied von "()", dann element ist ein fall von Attribut

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

wenn wird ? entgegengesetzet ,
dann für jeden attr1,attr2 gilt:
- wenn attr1 ist gleich "number1te mitglied von "()"" und attr2 ist gleich "number2te mitglied von "()"" und number1 ist gleich number2 nicht,
- dann wenn obj hat ein attribut attr1 , dann obj hat ein attribut attr2 nicht

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

Wenn obj1 ist attr1 hinsichlich obj2 und wird ? entgegengesetzet und attr1 ist ein Mitglied von "()" und attr2 ist ein Mitglied von "()" und attr1 ist gleich attr2 nicht, dann obj1 ist attr2 hinsichlich obj2 nicht.

(=>
      (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 wird true entgegengesetzet .

(contraryAttribute False True)

likely wird unlikely entgegengesetzet .

(contraryAttribute Likely Unlikely)

north wird south entgegengesetzet .

(contraryAttribute North South East West)

horizontal wird vertical entgegengesetzet .

(contraryAttribute Horizontal Vertical)

above wird below entgegengesetzet .

(contraryAttribute Above Below)

right wird left entgegengesetzet .

(contraryAttribute Right Left)

naked promise wird contract entgegengesetzet .

(contraryAttribute NakedPromise Contract)

solid wird liquid entgegengesetzet .

(contraryAttribute Solid Liquid Gas)

unilluminated wird illuminated entgegengesetzet .

(contraryAttribute Unilluminated Illuminated)

polychromatic wird monochromatic entgegengesetzet .

(contraryAttribute Polychromatic Monochromatic)

rigid wird pliable entgegengesetzet .

(contraryAttribute Rigid Pliable)

dry wird damp entgegengesetzet .

(contraryAttribute Dry Damp)

unbreakable wird fragile entgegengesetzet .

(contraryAttribute Unbreakable Fragile)

dead wird living entgegengesetzet .

(contraryAttribute Dead Living)

male wird female entgegengesetzet .

(contraryAttribute Male Female)

non fully formed wird fully formed entgegengesetzet .

(contraryAttribute NonFullyFormed FullyFormed)

embryonic wird larval entgegengesetzet .

(contraryAttribute Embryonic Larval)

schlafend wird unbewusst entgegengesetzet .

(contraryAttribute Asleep Unconscious Awake)

unbewusst wird wach entgegengesetzet .

(contraryAttribute Unconscious Awake)