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

sequence function (SequenceFunction)

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

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  single valued relation  
is subclass of
  function  
is subclass of
[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  binary relation  
is subclass of
is subclass of
  unary function  
is subclass of
  one to one function  
is subclass of
  sequence function  

Axioms (1)

If seq is an instance of sequence function and range of seq is an instance of class, then class is a subclass of integer. 
(=>
      (and
            (instance ?SEQ SequenceFunction)
            (range ?SEQ ?CLASS))
      (subclass ?CLASS Integer))