exhaustive attribute (exhaustiveAttribute)

This predicate relates a Class to a set of Attributes, and it means that the elements of this set exhaust the instances of the Class. For example, (exhaustiveAttribute PhysicalState Solid Liquid Gas) means that there are only three instances of the class PhysicalState, viz. Solid, Liquid, and Gas.

Ontologie

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

třída

inheritable relation

predikát

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

exhaustive attribute

Související termín(y)

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

Typy argumentů

exhaustiveAttribute(subclass atribut)

Axiomy (6)

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

(=>
      (exhaustiveAttribute ?CLASS @ROW)
      (=>
            (inList
                  ?ATTR
                  (ListFn @ROW))
            (instance ?ATTR Attribute)))

jestliže exhaustive attribute(class,) platí,
potom pro všechny obj platí: jestliže attr1 je instancí třídy class, potom existuje attr2 tak, že attr2 je a member of "()" a attr1 se rovná attr2

(=>
      (exhaustiveAttribute ?CLASS @ROW)
      (forall
            (?OBJ)
            (=>
                  (instance ?ATTR1 ?CLASS)
                  (exists
                        (?ATTR2)
                        (and
                              (inList
                                    ?ATTR2
                                    (ListFn @ROW))
                              (equal ?ATTR1 ?ATTR2))))))

exhaustive attribute(skupenství,solid,fluid,liquid,gas) platí.

(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas)

exhaustive attribute(attribut života,living,dead) platí.

(exhaustiveAttribute AnimacyAttribute Living Dead)

exhaustive attribute(pohlaví,female,male) platí.

(exhaustiveAttribute SexAttribute Female Male)

exhaustive attribute(attribut stupně vývoje,fully formed,non fully formed) platí.

(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed)