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.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

Classe

inheritable relation

Predicato

RelazioneAdAritáVariabile
is instance of

exhaustive attribute

Coordinate term(s)

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

Type restrictions

exhaustiveAttribute(subclass Attributo)

Axioms (6)

se exhaustive attribute(class,) vale,
allora se attr é un é membro di "(", allora attr é un' istanza di Attributo

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

se exhaustive attribute(class,) vale,
allora per ogni obj vale: se attr1 é un' istanza di class, allora esiste attr2 tale che attr2 é un é membro di "(" e attr1 is uguale a attr2

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

exhaustive attribute(StatoFisico,solid,fluid,liquid,gas) vale.

(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas)

exhaustive attribute(AttributoVitale,living,dead) vale.

(exhaustiveAttribute AnimacyAttribute Living Dead)

exhaustive attribute(AttributoSessuale,female,male) vale.

(exhaustiveAttribute SexAttribute Female Male)

exhaustive attribute(AttributoEvolutivo,fully formed,non fully formed) vale.

(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed)