SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > AbstractionFn
Next UnaryFunction: ArcCosineFn    Up: UnaryFunction    Previous UnaryFunction: AbsoluteValueFn   

AbstractionFn comparison table
Subject have domain1 have range documentation have axiom is a kind of is an instance of
UnaryFunction  The Class of Functions that require a single argument
(=>
    (instance ?FUNCTION UnaryFunction)
    (valence ?FUNCTION 1))
Function 
AbstractionFnClassAttributeA UnaryFunction that maps a Class into the instance of Attribute that specifies the condition(s) for membership in the Class
(<=>
    (equal (AbstractionFn ?CLASS) ?ATTR)
    (forall (?INST)
       (<=>
          (instance ?INST ?CLASS)
          (attribute ?INST ?ATTR))))
 UnaryFunction

Next UnaryFunction: ArcCosineFn    Up: UnaryFunction    Previous UnaryFunction: AbsoluteValueFn