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)

class

inheritable relation

predicate

variable arity relation
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 attribute)

Axioms (6)

if exhaustive attribute(class,) holds,
then if attr is a member of "()", then attr is an instance of attribute

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

if exhaustive attribute(class,) holds,
then for all obj holds: if attr1 is an instance of class, then there exists attr2 so that attr2 is a member of "()" and attr1 is equal to attr2

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

exhaustive attribute(physical state,solid,fluid,liquid,gas) holds.

(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas)

exhaustive attribute(animacy attribute,living,dead) holds.

(exhaustiveAttribute AnimacyAttribute Living Dead)

exhaustive attribute(sex attribute,female,male) holds.

(exhaustiveAttribute SexAttribute Female Male)

exhaustive attribute(developmental attribute,fully formed,non fully formed) holds.

(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed)