unary function (UnaryFunction)

The Class of Functions that require a single argument.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

class

inheritable relation

unary function

Superclass(es)

entity

abstract

relation

single valued relation

function

entity

abstract

relation

binary relation
is subclass of

unary function

Instance(s)

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

Subclass(es)

unary constant functionquantity one to one function

Coordinate term(s)

antisymmetric relation binary function binary predicate binary relation case role continuous function function function quantity intentional relation intransitive relation irreflexive relation object attitude predicate probability relation propositional attitude quaternary function quaternary predicate quaternary relation quintary predicate quintary relation reflexive relation relation extended to quantities single valued relation spatial relation symmetric relation temporal relation ternary function ternary predicate ternary relation transitive relation trichotomizing relation

Axioms (2)

If function is an instance of unary function, then function %&has argument(s).

(=>
      (instance ?FUNCTION UnaryFunction)
      (valence ?FUNCTION 1))

if function is closed on class and function is an instance of unary function,
then for all inst holds: if inst is an instance of class, then "function(inst)" is an instance of class

(=>
      (and
            (closedOn ?FUNCTION ?CLASS)
            (instance ?FUNCTION UnaryFunction))
      (forall
            (?INST)
            (=>
                  (instance ?INST ?CLASS)
                  (instance
                        (AssignmentFn ?FUNCTION ?INST)
                        ?CLASS))))