FunzioneUnaria (UnaryFunction)

The Class of Functions that require a single argument.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Classe

inheritable relation

FunzioneUnaria

Superclass(es)

Entitá

Astratto

Relazione

RelazioneMonovalente

Funzione

Entitá

Astratto

Relazione

RelazioneBinaria
is subclass of

FunzioneUnaria

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)

FunzioneDiQuantitáUnariaECostante FunzioneUnoAUno

Coordinate term(s)

RelazioneAntisimmetrica FunzioneBinaria PredicatoBinario RelazioneBinaria RuoloSemantico FunzioneContinua Funzione FunzioneDiQuantitá intentional relation RelazioneIntransitiva RelazioneNonRiflessiva AtteggiamentoOggettuale Predicato RelazioneDiProbabilitá AtteggiamentoProposizionale FunzioneQuaternaria PredicatoQuaternario RelazioneQuaternaria PredicatoQuinquenario RelazioneQuinquenaria RelazioneRiflessiva RelazioneEstesaAQuantitá RelazioneMonovalente RelazioneSpaziale RelazioneSimmetrica RelazioneTemporale FunzioneTernaria PredicatoTernario RelazioneTernaria RelazioneTransitiva RelazioneTricotomizzante

Axioms (2)

Se function é un' istanza di FunzioneUnaria, allora function %&ha argomento(s.

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

se function is closed on class e function é un' istanza di FunzioneUnaria,
allora per ogni inst vale: se inst é un' istanza di class, allora "function(inst" é un' istanza di class

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