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

FunzioneSequenza (SequenceFunction)

The Class of OneToOneFunctions whose range is a subclass of the PositiveIntegers.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Relazione  
is subclass of
  RelazioneMonovalente  
is subclass of
  Funzione  
is subclass of
[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Relazione  
is subclass of
  RelazioneBinaria  
is subclass of
is subclass of
  FunzioneUnaria  
is subclass of
  FunzioneUnoAUno  
is subclass of
  FunzioneSequenza  

Axioms (1)

Se seq é un' istanza di FunzioneSequenza e rango di seq é un'istanza di class, allora class é una sottoclasse di NumeroIntero. 
(=>
      (and
            (instance ?SEQ SequenceFunction)
            (range ?SEQ ?CLASS))
      (subclass ?CLASS Integer))