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

Funzione (Function)

A Function is a term-forming Relation that maps from a n-tuple of arguments to a range and that associates this n-tuple with at most one range element. Note that the range is a SetOrClass, and each element of the range is an instance of the SetOrClass.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Classe
is instance of
  inheritable relation  
is instance of
  Funzione  

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Relazione  
is subclass of
  RelazioneMonovalente  
is subclass of
  Funzione  

Instance(s)

assignment fn  list fn  greatest common divisor fn  least common multiple fn 

Subclass(es)

FunzioneDiQuantitá  FunzioneUnaria  FunzioneBinaria  FunzioneTernaria  FunzioneQuaternaria  FunzioneContinua 

Coordinate term(s)

FunzioneBinaria  PredicatoBinario  RelazioneBinaria  RuoloSemantico  intentional relation  AtteggiamentoOggettuale  Predicato  RelazioneDiProbabilitá  AtteggiamentoProposizionale  FunzioneQuaternaria  PredicatoQuaternario  RelazioneQuaternaria  PredicatoQuinquenario  RelazioneQuinquenaria  RelazioneEstesaAQuantitá  RelazioneMonovalente  RelazioneSpaziale  RelazioneTemporale  FunzioneTernaria  PredicatoTernario  RelazioneTernaria  FunzioneUnaria 

Constrains relations

assignment fn  closed on  range  range subclass 

Related WordNet synsets

function
a relation such that one thing is dependent on another; "height is a function of age"; "price is a function of supply and demand"
function is kind of (all)...   function is kind of...  
See more related synsets on a separate page.

Axioms (2)

Se rel(,inst vales e rel é un' istanza di Funzione, allora "rel(" is uguale a inst. 
(=>
      (and
            (holds ?REL @ROW ?INST)
            (instance ?REL Function))
      (equal
            (AssignmentFn ?REL @ROW)
            ?INST))
Relazione é esaustivamente partizionato in Predicato,Funzione,Lista. 
(partition Relation Predicate Function List)