unární funkce (UnaryFunction)

The Class of Functions that require a single argument.

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

třída

inheritable relation

unární funkce

Nadtřída(y)

entita

abstraktum

relace

relace s jedinou hodnotou

funkce

entita

abstraktum

relace

binární relace
is subclass of

unární funkce

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

Podtřída(y)

unary constant functionquantity prostá funkce na

Související termín(y)

antisymetrická relace binární funkce binární predikát binární relace case role spojitá funkce funkce proměnná veličina intentional relation netranzitivní relace ireflexivní relace postoj k objektu predikát pravděpodobnostní relace postoj k tvrzení funkce se čtyřmi argumenty predikát se čtyřmi argumenty relace se čtyřmi argumenty predikát s pěti argumenty relace s pěti argumenty reflexivní relace relace rozšířená na veličiny relace s jedinou hodnotou prostorová relace symetrická relace časová relace funkce se třemi argumenty predikát se třemi argumenty terciální relace tranzitivní relace trichotomická relace

Axiomy (2)

Jestliže function je instancí třídy unární funkce, potom function has argument(s).

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

jestliže function je closed on class a function je instancí třídy unární funkce,
potom pro všechny inst platí: jestliže inst je instancí třídy class, potom "function(inst)" je instancí třídy class

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