abstraction fn (AbstractionFn)

A UnaryFunction that maps a Class into the instance of Attribute that specifies the condition(s) for membership in the Class.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

class

inheritable relation

unary function

abstraction fn

Coordinate term(s)

absolute value fn arc cosine fn arc sine fn arc tangent fn back fn begin fn begin node fn cardinality fn ceiling fn complement fn cosine fn cut set fn denominator fn end fn end node fn extension fn floor fn front fn future fn generalized intersection fn generalized union fn giga fn imaginary part fn immediate future fn immediate past fn initial node fn integer square root fn kilo fn list length fn magnitude fn mega fn micro fn milli fn minimal cut set fn nano fn numerator fn organization fn past fn path weight fn pico fn power set fn predecessor fn principal host fn probability fn property fn rational number fn real number fn reciprocal fn round fn signum fn sine fn skin fn square root fn successor fn tangent fn tera fn terminal node fn wealth fn when fn year fn

Type restrictions

attribute AbstractionFn(class)

Related WordNet synsets

abstraction: a general concept formed by extracting common features from specific examples
abstractionism, unrealism: a representation having no reference to concrete objects or specific examples

Axioms (2)

"the description of class" is equal to attr if and only if for all inst holds: inst is an instance of class if and only if inst has an attribute attr.

(<=>
      (equal
            (AbstractionFn ?CLASS)
            ?ATTR)
      (forall
            (?INST)
            (<=>
                  (instance ?INST ?CLASS)
                  (property ?INST ?ATTR))))

"the class corresponding to attribute" is equal to class if and only if "the description of class" is equal to attribute.

(<=>
      (equal
            (ExtensionFn ?ATTRIBUTE)
            ?CLASS)
      (equal
            (AbstractionFn ?CLASS)
            ?ATTRIBUTE))