Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi Concept: English word: Home

# 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

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))```

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